X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=b043fd81d29f99532f02909e8db370905858f129;hp=d295e1dd744b8e8b98030aa597a63eb8a0bf2c42;hb=d824687b51460b98ca0a01c1183d5d6db4a5622c;hpb=aa04c6678e2ceab5aaae95b611ce226983ae3dda

diff --git a/index.mdwn b/index.mdwn
index d295e1dd..b043fd81 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -8,7 +8,9 @@ the Linguistics building at 10 Washington Place, in room 103 (front of the first
 
 One student session to discuss homeworks will be held every Wednesday from 5-6, in Linguistics room 104 (back of the first floor).
 
-## [[Index of Content (lecture notes and more)|content]] ##
+## [[Index of Main Content|content]] (lecture notes and more) ##
+
+## [[Offsite Readings|readings]] ##
 
 ## Announcements ##
 
@@ -73,14 +75,31 @@ 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]];
+[[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 (upcoming) homework questions works correctly.
 <!--
-[[Lambda Evaluator]]: Usable in your browser. It can help you check whether your answer to some of the homework questions works correctly. There is also now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
+ There is also now a [library](/lambda library) of lambda-calculus arithmetical and list operations, some relatively advanced.
+-->
+
+(**Week 2**) Thursday 5 February 2015
+> 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 (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.
 
+
+<!--
 We've added a [[Monad Library]] for OCaml.
 We've posted a [[State Monad Tutorial]].
 -->
@@ -250,6 +269,9 @@ for "Glasgow Haskell Compiler".
 [GHC](https://en.wikipedia.org/wiki/Glasgow_Haskell_Compiler).)  
     (Help on [[Learning Haskell]])
 
+<!--
+[Helium](https://www.haskell.org/pipermail/haskell/2003-January/011071.html) is a simplified Haskell for teaching (no typeclasses)
+-->