links tweaking
[lambda.git] / index.mdwn
index 7286d41..0ae6d5e 100644 (file)
@@ -81,7 +81,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,12 +90,12 @@ 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 
+It hasn't yet been decided whether this course counts for satisfying the logic requirement for
 Philosophy PhD students.
 
 Faculty and students from outside of NYU Linguistics and Philosophy are welcome
@@ -135,7 +135,11 @@ familiar with one of them, it's not difficult to move between it and the
 other.
 
 [[How to get the programming languages running on your computer]]
-       
+
+[[Using the programming languages]]
+
+[[Family tree of functional programming languages]]
+
 ## Recommended Books ##
 
 *      *An Introduction to Lambda Calculi for Computer Scientists*, by Chris
@@ -166,12 +170,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]]##