X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=a2b449e991e7ac33ba1ce8217270126b683e7618;hp=2ae616ab201df48e1b2072040598e6e8c0f7686e;hb=00e07b6315610e80a9db3b85bb77f470b3b9a1fa;hpb=352d8b29ba97a4ec48f309baabd67c6df4dc1cb3

diff --git a/index.mdwn b/index.mdwn
index 2ae616ab..a2b449e9 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -6,11 +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 will be held every Wednesday from XX-YY at WHERE.
--->
+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 ##
 
@@ -22,22 +22,20 @@ 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.
+-->
 
-<!--
-One student session will be held every Wednesday from XX-YY at WHERE.
+*   The student session has been scheduled for Wednesdays from 5-6, in Linguistics room 104 (back of the first floor).
 
-For those who'd like to attend the section but can't make the
-Wednesday time: If you're one of the students who
-wants to meet for Q&A at some other time in the week, let us know.
+    Those of you interested in additional Q&amp;A but who can't make that time, let us know.
 
-You should see the 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 would be smart to make a serious start on that
-week's homework, for instance, before the session.
--->
+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.
 
-*   Here is information about [[How to get the programming languages running on your computer|installing]]. If those instructions seem overwhelming, note that it should be possible to do a lot of this course using only demonstration versions of these languages that run in your web browser.
+*   Here is information about [[How to get the programming languages running on your computer|installing]]. If those instructions seem overwhelming, note that it should be possible to do a lot of this course using only demonstration versions of these languages [[that run in your web browser|browser]].
 
 *   Henceforth, unless we say otherwise, every homework will be "due" by
 Wednesday morning after the Thursday seminar in which we refer to it.
@@ -81,10 +79,21 @@ what you think you need in order to solve the problem.
 [[Homework|exercises/assignment1]];
 [[Advanced notes|topics/week1 advanced notes]]
 
+(**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 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
+> Notes on their way...
+
+
+<!--
 We've added a [[Monad Library]] for OCaml.
 We've posted a [[State Monad Tutorial]].
 -->
@@ -134,6 +143,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]]
 
 
@@ -218,8 +230,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",
@@ -230,8 +242,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
@@ -248,9 +260,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)
+-->