Assignment 3 – Getting your feet wet with Agda

Due Fri 10/22 11:59pm

Solve the exercises laid out in hw3.agda.