(**Week 2**) Thursday 5 February 2015
> Topics:
-[[Intro to the Lambda Calculus|topics/week1 lambda intro]];
+[[Intro to the Lambda Calculus|topics/week2 lambda intro]];
[[Advanced notes|topics/week2 lambda advanced]];
Encoding Booleans, Tuples, Lists, and Numbers (in progress);
Homework (in progress)