Assignment B – Merge Sort

Due Wed 5/31 11:59pm

Prove that merge sort sorts, following the progression laid out in ms.agda.