Assignment 4 – Working with natural numbers

Due Friday Fri 11/5 11:59pm

Solve the exercises laid out in hw4.agda.