Examples of Dependently-typed programs in Haskell
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
icfp14 Example code from ICFP14 keynote
examples Other examples of dependently-typed GHC