https://github.com/iagoleal/plfa-exercises
Answers to the exercises on the book Programming Language Foundations in Agda
https://github.com/iagoleal/plfa-exercises
agda dependent-types plfa programming-languages-theory
Last synced: 4 months ago
JSON representation
Answers to the exercises on the book Programming Language Foundations in Agda
- Host: GitHub
- URL: https://github.com/iagoleal/plfa-exercises
- Owner: iagoleal
- Created: 2021-03-28T20:44:52.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2021-04-09T15:32:40.000Z (about 5 years ago)
- Last Synced: 2025-08-25T02:38:05.187Z (10 months ago)
- Topics: agda, dependent-types, plfa, programming-languages-theory
- Language: Agda
- Homepage:
- Size: 26.4 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# PLFA exercises
My answers to the exercises in the book [Programming Language Foundations in Agda](https://plfa.github.io).
A "(partial)" mark means that I've completed all the exercises but one or two on that chapter.
## part1
1. [x] Naturals
2. [x] Induction
3. [ ] Relations (partial)
4. [x] Equality
5. [x] Isomorphism
6. [x] Connectives
7. [ ] Negation (partial)
8. [ ] Quantifiers (partial)
9. [x] Decidable
10. [ ] Lists