Lesson #5 - 18/10/2022

ML expressions: variable (VAR), lambda abstractions (LAMBDA), function application (APP), let binding (LET). Evaluation of expressions, reducible vs non-reducible. Beta-reduction of application. Omega combinator. The reason why types exist: avoiding stuck states in beta-reduction.