Assignment 2 – First proofs in Agda🔗

Due Friday Fri 5/9 11:59pm

Solve the exercises laid out in hw2.agda.