Exercise set 10.

In this week, we will be working with inductive definitions and proof by induction. In particular, we will be working with the stuff discussed in chapter 3 of FSoPL.

Also provided in this week's folder is a PDF document with exercises, both with hints and without hints. Try to only consult the hints when you're stuck.

If you have time to spare, you can take a look at exercise 2.1 from AF lecture notes (i.e. prove Theorem 2.6 in the notes).

Next week, we will take a look at a functional programming language and an alternative way of formalising the semantics.