celsobonutti/type-theory-and-formal-proof

Formalizing and solving exercises form the book Type Theory and Formal Proof

Agda