add stubs
[lambda.git] / content.mdwn
index 6d838bc..cabcc71 100644 (file)
@@ -28,6 +28,12 @@ Week 2:
 * [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]];
 * [[Homework for week 2|exercises/assignment2]]
 
 * [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]];
 * [[Homework for week 2|exercises/assignment2]]
 
+Week 3:
+
+* More on Lists
+Introduces list comprehensions, shows how to encode `tail` in the Lambda Calculus
+* Combinatorial Logic
+* Homework for week 3