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