Assignment 4 – Working with booleans in Agda

Due Friday Fri 5/5 11:59pm

Solve the exercises laid out in hw4.agda.