X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=a15468cf52cfe95d71186a8c893e9fbad73cf2ac;hp=877ff47e95ed3e5905845d16dbaa7da6652c52ff;hb=538fabc87fbd55c220b6a210952e850cd67de16a;hpb=4eca1858a133a033a620da795be0aaf34937d5c2

diff --git a/index.mdwn b/index.mdwn
index 877ff47e..a15468cf 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -95,8 +95,14 @@ 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,6 +144,7 @@ other.
 
 [[Using the programming languages]]
 
+[[Family tree of functional programming languages]]
 
 ## Recommended Books ##
 
@@ -169,7 +176,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.
+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]]##