User: thinkpad20

Created: 4475 days ago
Karma: 2032
Software developer in Chicago. Interested in functional programming and related topics, such as logic, type theory, programming language theory, and such-like. Haskell-phile but I try not to be douchey about it :)
http://github.com/adnelson