GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → jstolarek → why-dependent-types-matter

jstolarek / why-dependent-types-matter

Licence: other
Companion code for "Why Dependent Types Matter" paper.

Programming Languages

Agda
84 projects
haskell
3896 projects
Idris
72 projects

Why Dependent Types Matter

IMPORTANT: This repository is now hosted on BitBucket.

Companion code in Agda, Idris ans Haskell for "Why Dependent Types Matter" paper by Thorsten Altenkirch, Conor McBride and James McKinna. Original code in the paper uses Epigram language, which is no longer maintained or even available. Thus I made a rewrite to modern functional languages. For more information see blog posts about Agda code, Idris code and Haskell code.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].