Building things with records of axioms instead of GADTs
Primary LanguageAgda
No issues in this repository yet.