Lesson #15 - 5/12/2022
Conditions d’achèvement
Introduction to type rules.