thinkpad20
joined 4/1/13, 1:52 AM has 2032 karma
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
This user hasn't posted yet