* [[Order: static versus dynamic|topics/week1 order]]
- * [[The Lambda Calculus|topics/week2 lambda intro]]
+* The Lambda Calculus
+
+ * [[Intro to the Lambda Calculus|topics/week2 lambda intro]]
* [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]]