Assignment 5 – Naturals & Reverse

Due Fri 5/12 11:59pm

Solve the exercises laid out in hw5.agda.