X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=2994e3f938d41947b79b55d84fafaaf9f15d2704;hp=1b95a7d3d9809cdbce2acd7b8b26f71fa6ae4b58;hb=47a1e74d28317b889a39c4ab9233445fb05f402f;hpb=6f28a0b32bad78d0a109d64e15e52b9aab11b832

diff --git a/index.mdwn b/index.mdwn
index 1b95a7d3..2994e3f9 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -10,6 +10,23 @@ the Linguistics building at 10 Washington Place, in room 103 (front of the first
 One student session will be held every Wednesday from XX-YY at WHERE.
 -->
 
+## [[Jump to content (lecture notes and more)|content.mdwn]] ##
+
+<!--
+See [below](#installing) for how to get the programming languages running on your computer.
+
+*	Links for help [[learning Scheme]]
+*	Links for help [[learning OCaml]]
+*	[[Translating between OCaml Scheme and Haskell]]
+
+[[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.
+
+*	We've added a [[Monad Library]] for OCaml.
+*	We've posted a [[State Monad Tutorial]].
+
+##[[Offsite Reading]]##
+There's lots of links here already to tutorials and encyclopedia entries about many of the notions we'll be dealing with.
+-->
 
 ## Announcements ##
 
@@ -36,9 +53,12 @@ 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.
 -->
 
-*   Here is information about [[How to get the programming languages running on your computer]].
+*   Here is information about [[How to get the programming languages running on your computer|installing]].
 
-*   Here are [[Lecture notes for Week 1|topics/week1]]; and [[the homework|exercises/assignment1]]. There are also some [[advanced notes|topics/week1 advanced notes]].
+* Here are lecture notes for week 1: [[order|topics/week1 order]];
+[[the introduction to functional programming|topics/week1]], along
+with [[the homework|exercises/assignment1]] and some [[advanced
+notes|topics/week1 advanced notes]].
 
     > Topics: Basics of Functional Programming
 
@@ -174,6 +194,13 @@ strictly exclusive. The labels are better thought of as concerning different
 of the extent to which they emphasize, and are designed around those idioms. Languages like Python and JavaScript are sometimes themselves
 described as "more functional" than other languages, like C.
 
+<!--
+## What is Functional Programming? ##
+
+Here's a [survey conducted at Microsoft](http://research.microsoft.com/apps/pubs/default.aspx?id=141506) asking programmers what they understand "functional programming" to be. Don't take their responses to be authoritative... this is a just a "man in the street" (seat?) poll.
+
+Read more about the [uptake of Haskell](http://steve-yegge.blogspot.com/2010/12/haskell-researchers-announce-discovery.html) among programmers in the street.
+-->
 
 In any case, here is some more context for the three languages we will be focusing on.
 
@@ -187,6 +214,8 @@ the operating system differently. One major implementation is called Racket,
 and that is what we recommend you use. If you're already using or comfortable with
 another Scheme implementation, though, there's no compelling reason to switch.
 
+    <!-- Racket doesn't have R7RS-small, and won't anytime soon. :-( Perhaps prefer Chicken? -->
+
     Racket stands to Scheme in something like the relation Firefox stands to HTML.
 
     (Wikipedia on [Lisp](http://en.wikipedia.org/wiki/Lisp_%28programming_language%29),
@@ -219,6 +248,14 @@ other.
 <a name=installing></a>
 [[How to get the programming languages running on your computer]]
 
+<!--
+[[Family tree of functional programming languages]]
+
+[[Translating between OCaml Scheme and Haskell]]
+
+Links to tutorials?
+-->
+
 
 ## Recommended Books ##
 
@@ -263,6 +300,8 @@ but in the long run it's helpful because it makes the arbitrariness of those cho
 
 *   Another good book, covering some of the same ground as the Hankin, and the Hindley &amp; Seldin, but delving deeper into typed lambda calculi, is *Types and Programming Languages*, by Benjamin Pierce, currently $77 hardback / $68 kindle on [Amazon](http://www.amazon.com/dp/0262162091). This book has many examples in OCaml.
 
+<!-- Links to online books and tutorials about programming in Scheme and other languages -->
+
 
 ----