jstolarek / practical-programming-with-dependent-types

Companion code in Agda for "Epigram: practical Programming with Dependent Types" paper.

https://bitbucket.org/jstolarek/practical-programming-with-dependent-types

jstolarek/practical-programming-with-dependent-types Issues

No issues in this repository yet.