X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=51f37d6a318e4665a2dd455f6ba312eadd437641;hp=2f5a7e45dfddcba09a13d3f5e155104717290076;hb=547f6ad309dca779cea283bcc0fa34ffef7a51cc;hpb=b1b3498fa8a621ba0d9a6a00d6d83d8ef4998027 diff --git a/index.mdwn b/index.mdwn index 2f5a7e45..51f37d6a 100644 --- a/index.mdwn +++ b/index.mdwn @@ -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/week1 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.