X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=4524ef30db20dbf01500203f528fa7ad74897e70;hp=756cb2165cc581cf72c02dbe0dc3469bce8eb23c;hb=0ac2d90aac898f1e1d5f90c502d52845c68b5b2a;hpb=adca83dd4722750d2a9ef807fd0c51d36d350e3e diff --git a/index.mdwn b/index.mdwn index 756cb216..4524ef30 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 (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.