We will not be moving ahead to new lecture notes today. Instead, we will do two things:
Decision: Keep the language definition as it is. Generate Java as the target language, rather than JVM byte codes.
We will adjust the rest of the semester based on where we end today.