With Project 0 (nearly) out of the way, I have updated the description of Project 1. No major changes, I have simply added the definition of a proof scheme for the small step operational semantics. When you decide to start this project, please note that the large step semantics is defined completely by the text and the small step semantics is nearly completely defined. Take advantage of this!

I will be traveling to Stuttgart, Germany next week. Thus, we will not have class 9/22-24. We will have a make-up lecture later in the semester.