Besides the ‘weekly’ assignments, you are expected to complete a larger project in a small group.

We have written some advice and project guidelines


We will announce weekly assignments below. Check the schedule for the deadlines.

  1. Smooth permutations
  2. Monads and applicatives
  3. Term and type-level recursion
  4. Lambda calculus
  5. Agda

Additional exercises

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