I just pushed Project 2 to the website so you can get started on it early if you would like. I will discuss the project on Tuesday in class and we’ll decide on a due date. The project requires implementing a type checker for our language with
bind in addition to two interpreters. One interpreter will use
subst and the other will use an environment just like we did in class. The type checker is not difficult, but I will discuss it in class before I expect you to start working on the project.