X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=105ab323e87c2a999910956cdbcc4556e67064ac;hp=439e19ba1b571ca06ea4f28fc7b4787e8e326f04;hb=8062eb82b98f59728d6f03023338fe2acf3b189e;hpb=e72cf72d3b5a00c0f9b57f101aa1082cd9ac9e45

diff --git a/index.mdwn b/index.mdwn
index 439e19ba..105ab323 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -8,7 +8,7 @@ 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]] ##
 
@@ -80,9 +80,9 @@ what you think you need in order to solve the problem.
 [[Advanced notes|topics/week1 advanced notes]]
 
 (**Intermezzo**)
-> The [[differences between our made-up language and Scheme, OCaml, and Haskell|rosetta]];
-Help on [[learning Scheme]], [[OCaml|learning OCaml]], and [[Haskell|learning Haskell]];
-[[What do words like "interpreter" and "compiler" mean?|ecosystem]]
+> Help on [[learning Scheme]], [[OCaml|learning OCaml]], and [[Haskell|learning Haskell]];
+The [[differences between our made-up language and Scheme, OCaml, and Haskell|rosetta]] (in progress);
+[[What do words like "interpreter" and "compiler" mean?|ecosystem]] (in progress)
 
 <!--
 [[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.