encodings done
authorjim <jim@web>
Sat, 7 Feb 2015 22:28:54 +0000 (17:28 -0500)
committerLinux User <ikiwiki@localhost.members.linode.com>
Sat, 7 Feb 2015 22:28:54 +0000 (17:28 -0500)
index.mdwn

index 4524ef3..b043fd8 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|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.