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