X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=7c6c2477b9ed416239bf91b3df5450336de9ad15;hp=51f37d6a318e4665a2dd455f6ba312eadd437641;hb=f49e9034420e79b0dffc73c557f0c00ee6207eb2;hpb=547f6ad309dca779cea283bcc0fa34ffef7a51cc diff --git a/index.mdwn b/index.mdwn index 51f37d6a..7c6c2477 100644 --- a/index.mdwn +++ b/index.mdwn @@ -75,23 +75,23 @@ 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_kapulet_intro]]; +[[Introduction to functional programming|topics/week1 kapulet intro]]; [[Homework|exercises/assignment1]]; -[[Advanced notes|topics/week1_kapulet_advanced]] +[[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]]; [[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 homework questions works correctly. (**Week 2**) Thursday 5 February 2015 > Topics: -[[Intro to the Lambda Calculus|topics/week1 lambda intro]]; +[[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)