San Francisco, CAUSA
Hometown: San Francisco
April 23, 2014
Started with Agda a year ago, started writing Haskell full time a month ago, but my first time writing Haskell was for a Project Euler problem 2 years ago.
No answer yet
Working on a Haskell re-write of lambdal.com with rib.