Assignment 4 – Working with less than

Due Friday 5/10 11:59pm

Solve the exercises laid out in hw4.agda.