**Class**: Wednesday 13:00-14:30, Friday 10:30-12:00

**Textbook**:

*Introduction to Category Theory*by Harold Simmons, Cambridge University press.*Verified Functional Programming in Agda*by Aaron Stump, Cambridge University Press.

- Andrej Tarlecki's course on Category Theory in Foundations of Computer Science
- Agda wiki where you can get versions of Agda and lots of other stuff.
- The (new, WIP) documentation on Agda.