From Type Theory to Haskell in 10 minutes (2014) stackbuilders.com 3 points by sqln00b 7 years ago · 0 comments Reader PiP Save No comments yet.