Proving and Disproving Equivalence of Functional Programming Assignmentsdl.acm.org3 pointsghuntley3 years ago