My answers to the exercises in the book Programming Language Foundations in Agda.
A "(partial)" mark means that I've completed all the exercises but one or two on that chapter.
- Naturals
- Induction
- Relations (partial)
- Equality
- Isomorphism
- Connectives
- Negation (partial)
- Quantifiers (partial)
- Decidable
- Lists