X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=index.mdwn;h=2e6bdb64dad5224b8eede9062421a19715ed6471;hb=469f10232eca54fea72440d5b7e10daac42dc0e9;hp=4524ef30db20dbf01500203f528fa7ad74897e70;hpb=f7ccd3396509d8fee56332f67ce0a98ccd568337;p=lambda.git diff --git a/index.mdwn b/index.mdwn index 4524ef30..2e6bdb64 100644 --- a/index.mdwn +++ b/index.mdwn @@ -93,8 +93,8 @@ 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); -Homework (in progress) +[[Encoding Booleans, Tuples, Lists, and Numbers|topics/week2 encodings]]; +[[Homework|exercises/assignment2]] > 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.