Introduction to Dependent Types: Haskell on Steroidshttp://jozefg.bitbucket.org/posts/2014-08-25-dep-types-part-1.html by tel • 12 years ago 4 0 12 years agoJOjozefg.bitbucket.org