jstolarek / practical-programming-with-dependent-types Goto Github PK
View Code? Open in Web Editor NEWCompanion code in Agda for "Epigram: practical Programming with Dependent Types" paper.
Home Page: https://bitbucket.org/jstolarek/practical-programming-with-dependent-types