Assignment 6 – Binary Search Tree

Due Fri 11/19 11:59pm

Solve the exercises laid out in hw6.agda.