Haskell code for "Why dependent types matter" paper
Merge pull request #5 from jstolarek/js-why-dependent-types-matter

Haskell code for "Why dependent types matter" paper