Assignment 5 – Adga
The GitHub Classrooms link for this assignment is here.
The deadline for the assignment is 2022-03-29 @ 23:59.
Dependently typed programming
The starting framework has missing definitions which you need to fill in. In most cases, the type signature enforces that there should be a single unique definition that fits. Try to complete all the unfinished Agda code.