X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=2e6bdb64dad5224b8eede9062421a19715ed6471;hp=3473166d37cbd91156a918b1b6e4e6aae3a4036c;hb=eed5a6fd5737e66a650e011355daf79d0a99ae1f;hpb=b7d544b59e83f12e8af173de4ddfdaa821832dbc diff --git a/index.mdwn b/index.mdwn index 3473166d..2e6bdb64 100644 --- a/index.mdwn +++ b/index.mdwn @@ -75,22 +75,28 @@ what you think you need in order to solve the problem. > Topics: [[Order in programming languages and natural language|topics/week1 order]]; -[[Introduction to functional programming|topics/week1]]; +[[Introduction to functional programming|topics/week1 kapulet intro]]; [[Homework|exercises/assignment1]]; -[[Advanced notes|topics/week1 advanced notes]] +[[Advanced notes|topics/week1 kapulet advanced]] (**Intermezzo**) > Help on [[learning Scheme]], [[OCaml|learning OCaml]], and [[Haskell|learning Haskell]]; -The [[differences between our made-up language and Scheme, OCaml, and Haskell|rosetta1]] (in progress); +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. (**Week 2**) Thursday 5 February 2015 -> Notes on their way... +> 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]]; +[[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.