week1: remove test2.mdwn

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index af63cf9..9fb78ff 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -15,12 +15,25 @@ We've sent around an email to those who left their email addresses on the roster
 All students are invited to help us schedule, and then participate in, a regular student session in addition to the Monday seminar meetings. If you didn't receive our email about this, go to 
 <http://www.doodle.com/e8eci7cr9ib8t7t3> as soon as you can and please tell us when you're available.
 
+Lots of lecture notes summarizing and expanding on last Monday's seminar now posted. (Click "Notes and Schedule".)
+
 ## Assignments ##
 
 [[Assignment1]]
 
 
-## Overview ##
+##[[Notes and Schedule]]##
+
+[[Using the programming languages]]
+
+
+##[[Offsite Reading]]##
+
+There's lots of links here already to tutorials and encyclopedia entries about many of the notions we'll be dealing with.
+
+
+
+## Course Overview ##
 
 The goal of this seminar is to introduce concepts and techniques from
 theoretical computer science and show how they can provide insight
@@ -149,12 +162,13 @@ other.
 
 [[How to get the programming languages running on your computer]]
 
-[[Using the programming languages]]
-
 [[Family tree of functional programming languages]]
 
+
 ## Recommended Books ##
 
+It's not necessary to purchase these for the class. But they are good ways to get a more thorough and solid understanding of some of the more basic conceptual tools we'll be using.
+
 *      *An Introduction to Lambda Calculi for Computer Scientists*, by Chris
 Hankin, currently $17 on
 [Amazon](http://www.amazon.com/Introduction-Lambda-Calculi-Computer-Scientists/dp/0954300653).
@@ -182,17 +196,10 @@ on [Amazon](http://www.amazon.com/Seasoned-Schemer-Daniel-P-Friedman/dp/02625610
 *      *The Little MLer*, by Matthias Felleisen and Daniel P. Friedman, currently $27
 on [Amazon](http://www.amazon.com/Little-MLer-Matthias-Felleisen/dp/026256114X).
 This covers some of the same introductory ground as The Little Schemer, but
-this time in ML. The dialect of ML used is SML, not OCaml, but there are only
+this time in ML. It uses another dialect of ML (called SML), instead of OCaml, but there are only
 superficial syntactic differences between these languages. [Here's a translation
 manual between them](http://www.mpi-sws.org/~rossberg/sml-vs-ocaml.html).
 
-##[[Schedule of Topics]]##
-
-##[[Lecture Notes]]##
-
-##[[Offsite Reading]]##
-
-There's lots of links here already to tutorials and encyclopedia entries about many of the notions we'll be dealing with.
 
 
 ----