I just pushed Project 3 to the website. No due date yet, but I will take about it in class today. As you may have guessed it adds functions to our existing interpreter. However, it also adds an elaborator that implements
bind and Booleans using functions. Should be an interesting project and will require a bit more thought on your part.