sweirich/dth — pull request #5 by jstolarek (2014-12-09 14:42:52+00:00)
Title: Haskell code for "Why dependent types matter" paper

Haskell implementation of code presented in "Why Dependent Types Matter" paper by Thorsten Altenkirch, Conor McBride and James McKinna.