Types, Programming, etc.

Blogging my Brain

FP@StAnd

Posted by edwinb on February 9, 2009

We’ve finally gone all Web 2.0 in the Functional Programming group at St Andrews. Lots of us are now twittering (I’m “edwinbrady“), and we’ve started a group blog. I’ve just posted there about some Idris hacking.