/dth

Examples of Dependently-typed programs in Haskell

Primary LanguageHaskell

icfp14
Example code from ICFP14 keynote

examples
Other examples of dependently-typed GHC