|
|
|
user: thinkpad20
created: 2013-04-01
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
submissions:
|
|