HTTPS SSH

Epigram: Practical Programming with Dependent Types

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