* [[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