From Type Theory to Haskell in 10 minutes (2014)stackbuilders.com3 points·sqln00b··0 commentsOpen articleSaveView on HN