It looks like it'll be a pretty good class -- Statman's teaching, and there's lots of interesting material on various extensions of the simply typed calculus and type inference algorithms and stuff.
Also went to a Tartan editorial board meeting, the subject of which I didn't exactly know was a requirement of the job. Oh well. Writing one editorial in a semester isn't that bad.
