Assignment 7 – Quicksort

Due Fri 12/3 11:59pm

Solve the exercises laid out in hw7.agda.