* [[Order in programming languages and natural language|topics/week1 order]]
* [[Reduction Strategies and Normal Forms in the Lambda Calculus|topics/week3_evaluation_order]]
* [[Unit and its usefulness|topics/week3 unit]]
+ * [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
* The Untyped Lambda Calculus
* Combinatory logic
* [[Introduction|topics/week3 combinatory logic]]
- * Interpreter for Combinatory Logic terms
+ * [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
* Typed Lambda Calculi
Week 7:
-* Interpreter for Combinatory Logic terms
+* [[Combinatory evaluator|topics/week7_combinatory_evaluator]]
* Interpreter for Lambda terms
* Starting with Monads