/plfa-exercises

Answers to the exercises on the book Programming Language Foundations in Agda

Primary LanguageAgda

PLFA exercises

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.

part1

  1. Naturals
  2. Induction
  3. Relations (partial)
  4. Equality
  5. Isomorphism
  6. Connectives
  7. Negation (partial)
  8. Quantifiers (partial)
  9. Decidable
  10. Lists