Assignment 3 – List Proofs 🔗 ℹ

Due Friday Fri 10/27 11:59pm

Solve the exercises laid out in hw3.agda.