X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=6e0f1ddbccc281cdade2c46c59c50072b5014199;hp=a13ac0cc5a55575161c889a78a4e0a75c3f48381;hb=21f8ee62a71e6b58e509f64f777ee05d88681202;hpb=964f6399c691d3e861ece4484ab07328cd1051d1

diff --git a/index.mdwn b/index.mdwn
index a13ac0cc..6e0f1ddb 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -6,9 +6,11 @@ This course is co-taught by [Chris Barker](http://homepages.nyu.edu/~cb125/) and
 The seminar meets in spring 2015 on Thursdays from 4 until a bit before 7 (with a short break in the middle), in
 the Linguistics building at 10 Washington Place, in room 103 (front of the first floor).
 
-One student session to discuss homeworks will be held every Wednesday from 5-6, location yet to be fixed.
+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 ##
 
@@ -20,13 +22,15 @@ the text and links there haven't been updated. And/or you can get started on ins
 
 *   As we mentioned in class, if you're following the course and would like to be emailed occasionally, send an email to <mailto:jim.pryor@nyu.edu>, saying "lambda" in the subject line. Most often, we will just post announcements to this website, rather than emailing you. But occasionally an email might be more appropriate.
 
+<!--
 *   As we mentioned in class, we're also going to schedule a session to discuss the weekly homeworks. If you'd like to participate in this, please complete [this Doodle poll](http://doodle.com/7xrf4w8xq4i9e5za). It asks when you are available on Tuesdays and Wednesdays.
+-->
 
-*   The student session has been scheduled for Wednesdays from 5-6, location yet to be fixed.
+*   The student session has been scheduled for Wednesdays from 5-6, in Linguistics room 104 (back of the first floor).
 
     Those of you interested in additional Q&amp;A but who can't make that time, let us know.
 
-    You should see this student sessions as opportunities to clear up lingering
+    You should see these student sessions as opportunities to clear up lingering
 issues from material we've discussed, and help get a better footing for what
 we'll be doing the next week. It's expected you'll have made at least a serious start on that
 week's homework (due the following day) before the session.
@@ -75,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|rosetta]];
+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.
@@ -128,6 +136,9 @@ course is to enable you to make these tools your own; to have enough
 understanding of them to recognize them in use, use them yourself at least
 in simple ways, and to be able to read more about them when appropriate.
 
+"Computer Science is no more about computers than astronomy is about telescopes." -- [E. W. Dijkstra](https://en.wikipedia.org/wiki/Edsger_W._Dijkstra) <small>(or Hal Abelson, or Michael Fellows; the quote's <a href="https://en.wikiquote.org/wiki/Computer_science">origins are murky</a>)</small>
+
+
 [[More about the topics and larger themes of the course|overview]]
 
 
@@ -212,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",
@@ -224,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
@@ -242,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)
+-->