Links to the Agda Exercise Sheets

1. Week 01: Exercises; Solutions.
2. Week 02: Exercises; Solutions.
3. Week 03: Exercises; Solutions.
4. Week 04: Exercises; Solutions.
5. Week 05: Exercises; Solutions (by Dan Licata); Solutions (by Tom de Jong).
6. Week 06: Exercises; Solutions.
7. Week 07: Exercises; Solutions.
8. Week 08: Exercises; Solutions.
9. Week 09: Exercises; Solutions.