/agda-extras

Pile of type classes, instances, and proofs of lawfulness

Primary LanguageAgda

No issues in this repository yet.