bug fixes
[lambda.git] / index.mdwn
index 756cb21..4524ef3 100644 (file)
@@ -93,7 +93,7 @@ The [[differences between our made-up language and Scheme, OCaml, and Haskell|ro
 > Topics:
 [[Intro to the Lambda Calculus|topics/week2 lambda intro]];
 [[Advanced notes|topics/week2 lambda advanced]];
-Encoding Booleans, Tuples, Lists, and Numbers (in progress);
+[[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]] (in progress);
 Homework (in progress)
 
 > Also, if you're reading the Hankin book, try reading Chapters 1-3. You will most likely need to come back again and read it multiple times; but this would be a good time to make the first attempt.