Merge branch 'pryor'

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 7953845..877ff47 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -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
@@ -138,7 +138,7 @@ other.
 
 [[Using the programming languages]]
 
-       
+
 ## Recommended Books ##
 
 *      *An Introduction to Lambda Calculi for Computer Scientists*, by Chris