* [[Introduction to the Lambda Calculus|topics/week2 lambda intro]]
* [[Advanced notes on the Lambda Calculus|topics/week2 lambda advanced]]
* [[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]
-* [[Homework for week 2|exercises/assignment2]]
+* [[Homework for week 2|exercises/assignment2]] ([[Answers|exercises/assignment2_answers]])
Week 3:
* [[What is computation?|topics/week3_what_is_computation]]
* Reduction Strategies and Normal Forms
* Usefulness of `()`
-* [[Combinatory Logic|topics/week3 combinatory logic]]
+* [[Combinatory Logic|topics/week3 combinatory logic]] (revised on Monday and Tuesday)
* [[Homework for week 3|exercises/assignment3]]