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.