Lesson #17 - 12/12/2022
Completion requirements
Type rules and operational semantics.