X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=b043fd81d29f99532f02909e8db370905858f129;hp=4524ef30db20dbf01500203f528fa7ad74897e70;hb=4f33abf0dbdcd569367bd26d1c0f1ece6ea0629d;hpb=f7ccd3396509d8fee56332f67ce0a98ccd568337

diff --git a/index.mdwn b/index.mdwn
index 4524ef30..b043fd81 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -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|topics/week2 encodings]] (in progress);
+[[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]];
 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.