•
Assignment 5 – Lists and
with
Assignment 5 – Lists and
with
Assignment 5 – Lists and
with
Due
Friday 5/17 11:59pm
Solve the exercises laid out in
hw5.agda
.