X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=index.mdwn;h=a2ff556573fc19b5d9a97070a53f0c2805031903;hb=8c622ec62a482c3175c6ed0483cebb8a89d32464;hp=a2b449e991e7ac33ba1ce8217270126b683e7618;hpb=00e07b6315610e80a9db3b85bb77f470b3b9a1fa;p=lambda.git diff --git a/index.mdwn b/index.mdwn index a2b449e9..a2ff5565 100644 --- a/index.mdwn +++ b/index.mdwn @@ -75,9 +75,9 @@ 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]]; @@ -90,7 +90,13 @@ The [[differences between our made-up language and Scheme, OCaml, and Haskell|ro --> (**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 (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.