Main project


Assignment 1 – Smooth permutations

Assignment 2 – Monads and other structures

Assignment 3 – Term and type-level recursion

Assignment 4 – Transformers and generics

Assignment 5 – Agda

Procedure for peer review

Additional exercises

We have a collection of small programming assignments that will form the basis of the lab exercises during the course.