Lesson #21 - 9/1/2023
Conditions d’achèvement
Type inference rules for application and let-binding. Generalization and let-polymorphism.