Use ALT-(up-arrow) and ALT-(down-arrow) to process this document inside your browser, line-by-line. Use ALT-(right-arrow) to go to the cursor. You can save your edits inside your browser and load them back. Finally, you can download your working copy of the file, e.g., for sending it to teachers.

Exercise 1:

  • Improve the last symplification function of lesson 5 by adding the simplification rule $$x - 0 = x$$

Exercise 2:

  • Improve on exercise 1 by adding to the expr inductive type a constructor for multiplication and the simplification rules $$x * 0 = 0$$ and $$0 * x = 0$$

Exercise 3:

  • Improve on exercise 2 by adding to the expr data type a constructor for One and the simplification rules $$x * 1 = x$$ and $$1 * x = x$$