In this assignment, you'll practice working with natural numbers and pairs in Pie. The Pie exercises cover chapters 1 and 2.
The Pie assignment should be completed by writing a definition for each claim, and then uncommenting the tests so that they all pass. Passing the tests is necessary, but not sufficient, for completing the exercise - you should also follow the instructions in the file.
Start from this file, and submit the completed file on Gradescope: https://www.gradescope.ca/courses/11611/assignments/50374/.
This assignment is written by David Christiansen and used with permission.