Due Fri 11/17 11:59pm
Prove that selection sort sorts, following the progression laid out in ss.agda.