103 reputation
3
bio website lambdageek.org
location Boston, MA
age 34
visits member for 2 years, 11 months
seen Dec 11 '13 at 21:19

I used to prove things, now I compile things.


Jul
8
revised What's the meaning of algebraic data type?
added tags