X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=2e6bdb64dad5224b8eede9062421a19715ed6471;hp=7c6c2477b9ed416239bf91b3df5450336de9ad15;hb=9412638eb0c74f8e462440c244edc7b5c81cfeec;hpb=a08f7d8359ff7874aa01c5afa22dd6bf3fa6d2d9 diff --git a/index.mdwn b/index.mdwn index 7c6c2477..2e6bdb64 100644 --- a/index.mdwn +++ b/index.mdwn @@ -84,7 +84,7 @@ what you think you need in order to solve the problem. The [[differences between our made-up language and Scheme, OCaml, and Haskell|rosetta1]]; [[What do words like "interpreter" and "compiler" mean?|ecosystem]] (in progress) -(**[[Lambda Evaluator|code/lambda evaluator]]**) Usable in your browser. It can help you check whether your answer to some of the homework questions works correctly. +(**[[Lambda Evaluator|code/lambda evaluator]]**) Usable in your browser. It can help you check whether your answer to some of the (upcoming) homework questions works correctly. @@ -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 (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.