This repository has been archived by the owner. It is now read-only.
Companion code for "Why Dependent Types Matter" paper.
Agda Haskell Idris
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
README.md
WhyDependentTypesMatter.agda
WhyDependentTypesMatter.hs
WhyDependentTypesMatter.idr

README.md

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.