15 lessons
Foundations
Learn to read and reduce lambda expressions, then build booleans, numbers, recursion, and list processing from scratch.
Start course →8 lessons
Under the Hood
Evaluation strategies, Scott encodings, continuation-passing style, and combinators — how lambda calculus actually runs.
Start course →