| user: | thinkpad20 |
| created: | April 1, 2013 |
| karma: | 2.0k |
| about: | 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 |