/agda-axiomatic

Building things with records of axioms instead of GADTs

Primary LanguageAgda

Watchers