Lesson #4 - 17/10/2022
Conditions d’achèvement
Lambdas as anonymous functions, type inference vs type checking, substitutions.