Examples of Dependently-typed programs in Haskell
Primary LanguageHaskell
icfp14 Example code from ICFP14 keynote
examples Other examples of dependently-typed GHC