Lesson #16 - 6/12/2022
Conditions d’achèvement
Type rules for basic ML expressions.
Semantics of ML: evaluation of rules.