Lecture 5: Functions.

In this section, we will add functions to our little language, and define what it means for functions to be well-typed, and how to apply them.

Reading material:

Previous lecture: Lecture 4
Next lecture: Lecture 6