Project
Besides the ‘weekly’ assignments, you are expected to complete a larger project in a small group.
We have written some advice and project guidelines
Assignments
The weekly assignments can be found below. Check the schedule for the deadlines.
- Smooth permutations
- Monads and applicatives
- Term and type-level recursion
- GADTs and lambda calculus
- Agda
The last Agda exercise gives you a repository containing a single file, filled with exercises. Try to complete all the unfinished Agda code.
Peer review
We ask that all the weekly assignments are graded by you and your peers. We have established a procedure for peer review. The peer reviews are due the week after that assignment is due. Doing the peer reviews will help you learn the course material, so it is important to do them as you go!
Additional exercises
We have a collection of small programming assignments that offer even more practice material, if you’re looking for more.