/practical-programming-with-dependent-types

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

Primary LanguageAgda

Epigram: Practical Programming with Dependent Types

IMPORTANT: This repository is now hosted on BitBucket.

Companion code in Agda for "Epigram: Practical Programming with Dependent Types" paper. Work in progress.