Assignment 6 – Lists and Evidence

Due Fri 5/19 11:59pm

Solve the exercises laid out in hw6.agda.