Are you happy with your logging solution? Would you help us out by taking a 30-second survey? Click here

why-dependent-types-matter

Companion code for "Why Dependent Types Matter" paper.

Subscribe to updates I use why-dependent-types-matter


Statistics on why-dependent-types-matter

Number of watchers on Github 59
Number of open issues 0
Main language Agda
Average time to merge a PR about 2 hours
Open pull requests 0+
Closed pull requests 0+
Last commit about 2 years ago
Repo Created almost 6 years ago
Repo Last Updated over 1 year ago
Size 24 KB
Organization / Authorjstolarek
Contributors2
Page Updated
Do you use why-dependent-types-matter? Leave a review!
View why-dependent-types-matter activity
View on github
Fresh, new opensource launches 🚀🚀🚀
Trendy new open source projects in your inbox! View examples

Subscribe to our mailing list

Evaluating why-dependent-types-matter for your project? Score Explanation
Commits Score (?)
Issues & PR Score (?)

Why Dependent Types Matter

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.

why-dependent-types-matter list of languages used
Other projects in Agda