Assignment 2 – First proofs in Agda 🔗 ℹ

Due Friday Fri 10/20 11:59pm

Solve the exercises laid out in hw2.agda.