Uncategorized Why free variable? 3 Sep 2009 Someone asked. Well, I wanted something just a little bit geeky, but the delightful strictly positive has already gone, and terms like 'iota reduction' just don't have the same ring.…
Uncategorized Git! 3 Sep 2009 No, not me. Well, I think not. I recently gave a talk to the North East's excellent SuperMonday group on Git (with a brief intro to the main ideas behind…
free-variable.org 