[[Intro to the Lambda Calculus|topics/week2 lambda intro]];
[[Advanced notes|topics/week2 lambda advanced]];
[[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]];
[[Intro to the Lambda Calculus|topics/week2 lambda intro]];
[[Advanced notes|topics/week2 lambda advanced]];
[[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]];