X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=a6b4ba0d1fe1b02108a19b09e9e289fb986dc8b2;hp=a6e2b1a61539559a4238ed9f8aee32687414a114;hb=f9e6c170f0599d916f15df68935bac3daa17466a;hpb=8549a95d6806c0d85fb166585296780aa7f8ce23

diff --git a/index.mdwn b/index.mdwn
index a6e2b1a6..a6b4ba0d 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 ##
 
@@ -77,6 +79,10 @@ what you think you need in order to solve the problem.
 [[Homework|exercises/assignment1]];
 [[Advanced notes|topics/week1 advanced notes]]
 
+(**Intermezzo**)
+> The [[differences between our made-up language and Scheme, OCaml, and Haskell|rosetta2]];
+Help on [[learning Scheme]], [[OCaml|learning OCaml]], and [[Haskell|learning Haskell]];
+[[What do words like "interpreter" and "compiler" mean?|ecosystem]]
 
 <!--
 [[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.
@@ -217,8 +223,8 @@ Other R7RS-friendly: [Gauche](http://practical-scheme.net/gauche), [Chibi](https
 [Lisp](http://en.wikipedia.org/wiki/Lisp_%28programming_language%29),
 [Scheme](http://en.wikipedia.org/wiki/Scheme_%28programming_language%29),
 [Racket](http://en.wikipedia.org/wiki/Racket_%28programming_language%29), and
-[Chicken](http://en.wikipedia.org/wiki/CHICKEN_%28Scheme_implementation%29).)
-    <!-- Help on Learning Scheme -->
+[Chicken](http://en.wikipedia.org/wiki/CHICKEN_%28Scheme_implementation%29).)  
+    (Help on [[Learning Scheme]])
 
 *   **Caml** is one of two major dialects of *ML*, which is another large
 family of programming languages. Caml has only one active "implementation",
@@ -229,8 +235,8 @@ specifically in OCaml.
     (Wikipedia on
 [ML](http://en.wikipedia.org/wiki/ML_%28programming_language%29),
 [Caml](http://en.wikipedia.org/wiki/Caml), and
-[OCaml](http://en.wikipedia.org/wiki/OCaml).)
-    <!-- Help on Learning OCaml -->
+[OCaml](http://en.wikipedia.org/wiki/OCaml).)  
+    (Help on [[Learning OCaml]])
 
 
 *   **Haskell** is also used a
@@ -247,9 +253,12 @@ for "Glasgow Haskell Compiler".
 
     (Wikipedia on
 [Haskell](http://en.wikipedia.org/wiki/Haskell_%28programming_language%29) and
-[GHC](https://en.wikipedia.org/wiki/Glasgow_Haskell_Compiler).)
-    <!-- Help on Learning Haskell -->
+[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)
+-->