this is the header
Misc
Menu:
Home
Software
OCaml
Emacs
Linux
Hacks
Papers
Teaching
Docs
CV
Taste
Misc
On this page:
Links
yubnub
wikipedia
Lambda the ultimate
Life Hacker
Page last updated June 11 2008 14:07:15.