why-dependent-types-matter icon indicating copy to clipboard operation
why-dependent-types-matter copied to clipboard

Published 20 hours ago • verified publisher icon jstolarek
→

Metadata

Companion code for "Why Dependent Types Matter" paper.

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.

← Metadata

60
Stars
4
Forks
Watchers

Owner

verified publisher icon jstolarek

Metadata

Companion code for "Why Dependent Types Matter" paper.

Back