Recap and Feedback

Recap

In this part, we looked into lambda calculus as the foundation of functional programming. We built up from the simplest function system to a rich language with various data types. We covered variables, abstraction, application, alpha-equivalence, substitution, small-step semantics, normalization, and reintroduced natural numbers in a more foundational way.

Feedback