Assignment 3 – Getting your feet wet with Agda

Due Friday 5/3 11:59pm

Solve the exercises laid out in hw3.agda.