Assignment 3 – List Proofs🔗

Due Friday Tue 5/20 11:59pm

Solve the exercises laid out in hw3.agda.