X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=877ff47e95ed3e5905845d16dbaa7da6652c52ff;hp=79538456d7f6523b6c81e743493477deddcee4e4;hb=9c8ecc74ee6826ef7e2470df46e321564098ea7d;hpb=718c35b8eef781aef8bbd63e2c5ccebf6f5352dd

diff --git a/index.mdwn b/index.mdwn
index 79538456..877ff47e 100644
--- 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