Pile of type classes, instances, and proofs of lawfulness
Primary LanguageAgda
No issues in this repository yet.