The Project 1 due date is set for October 13.

I have again updated Project 1 to address some student questions. Specifically: your evaluation function should accept a command and a state and return a state rather than a value; accessing memory locations that have not been initialized should throw and error; and the small-step evaluation function should have an entry point with the same signature as the large-step evaluation function, but need not be restricted only to that.

Still no due date - we’ll take care of that on Friday.

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!