X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=76a54f936b28398567d52e3a78c09feba797e19e;hp=eb61fb700f708862c5cfbd1df5eee2c0c341ce4f;hb=ec7e61a11b6cbbfe9c6c90e6c077c430424317d0;hpb=c5c1236e4deb5ef61e2f1624d82e59a881604484

diff --git a/index.mdwn b/index.mdwn
index eb61fb70..76a54f93 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -7,11 +7,16 @@ This course will be co-taught by [Chris Barker](http://homepages.nyu.edu/~cb125/
 
 ## Announcements ##
 
-The seminar meets on Mondays, starting September 13, from 4-6 in the 2nd floor Philosophy Seminar Room, at 5
-Washington Place. We may be able to shift the time around slightly to suit the
+The seminar meets on Mondays, starting September 13, from 4-6.
+The first meeting will be in the Linguistics building at 10 Washington Place on the first floor (room 104).
+(Earlier, we were going to meet in the 2nd floor Philosophy Seminar Room, at 5
+Washington Place, but there were conflicts.)  We may be able to shift the time around slightly to suit the
 schedule of participants; but it will remain on Mondays late
 afternoon/evenings.
 
+## Assignments ##
+
+[[Assignment1]]
 
 
 ## Overview ##
@@ -81,7 +86,7 @@ Other keywords:
 	the Curry-Howard isomorphism(s)
 	monads in category theory and computation
 -->
-	
+
 ## Who Can Participate? ##
 
 The course will not presume previous experience with programming.  We
@@ -90,13 +95,19 @@ languages, and we will encourage experimentation with running,
 modifying, and writing computer programs.
 
 The course will not presume lots of mathematical or logical background, either.
-However, it will demand a certain amount of comfort working with such material; as a result, 
+However, it will demand a certain amount of comfort working with such material; as a result,
 it will not be especially well-suited to be a first graduate-level course
 in formal semantics or philosophy of language. If you have concerns about your
 background, come discuss them with us.
 
-It hasn't yet been decided whether this course counts for satisfying the logic requirement for 
-Philosophy PhD students.
+This class will count as satisfying the logic requirement for Philosophy
+PhD students; however if this would be your first or only serious
+engagement with graduate-level formal work you should consider
+carefully, and must discuss with us, (1) whether you'll be adequately
+prepared for this course, and (2) whether you'd be better served by
+taking a logic course (at a neighboring department, or at NYU next year)
+with a more canonical syllabus.
+
 
 Faculty and students from outside of NYU Linguistics and Philosophy are welcome
 to audit, to the extent that this coheres well with the needs of our local
@@ -138,7 +149,8 @@ other.
 
 [[Using the programming languages]]
 
-	
+[[Family tree of functional programming languages]]
+
 ## Recommended Books ##
 
 *	*An Introduction to Lambda Calculi for Computer Scientists*, by Chris
@@ -169,12 +181,8 @@ on [Amazon](http://www.amazon.com/Seasoned-Schemer-Daniel-P-Friedman/dp/02625610
 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
-superficial syntactic differences between these languages.
-
-# Other resources #
-
-* [Barker's Lambda Tutorial](http://homepages.nyu.edu/~cb125/Lambda): tutorial with embedded Javascript code that enables a user to type a lambda form into a web browser page and click to execute (reduce) it.
-* [Penn Lambda Calculator](http://www.ling.upenn.edu/lambda/): requires installing Java, but provides a number of tools for evaluating lambda expressions and other linguistic forms.
+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]]##