X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=f1be5a1c40f260fd3c9c5c2234a3ef8f9c729c11;hp=8fc6db50b662ebb26668c9af1dfd02d1c6dfc7bd;hb=4eb599930ce62c0f7011ccda9d81d0b2c14733ad;hpb=ce192cd543264c238eb514cdfb905a9926dcf0c8

diff --git a/index.mdwn b/index.mdwn
index 8fc6db50..f1be5a1c 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -10,7 +10,7 @@ the Linguistics building at 10 Washington Place, in room 103 (front of the first
 One student session will be held every Wednesday from XX-YY at WHERE.
 -->
 
-## [[Jump to content (lecture notes and more)|content]] ##
+## [[Index of Content (lecture notes and more)|content]] ##
 
 ## Announcements ##
 
@@ -82,6 +82,14 @@ what you think you need in order to solve the problem.
 [[Advanced notes|topics/week1 advanced notes]]
 
 
+<!--
+[[Lambda Evaluator]]: Usable in your browser. It can help you check whether your answer to some of the homework questions works correctly. There is also now a [library](/lambda_library) of lambda-calculus arithmetical and list operations, some relatively advanced.
+
+We've added a [[Monad Library]] for OCaml.
+We've posted a [[State Monad Tutorial]].
+-->
+
+
 ## Course Overview ##
 
 The overarching goal of this seminar is to introduce concepts and techniques from
@@ -126,7 +134,7 @@ course is to enable you to make these tools your own; to have enough
 understanding of them to recognize them in use, use them yourself at least
 in simple ways, and to be able to read more about them when appropriate.
 
-[[More about the topics and larger themes of the course| overview]]
+[[More about the topics and larger themes of the course|overview]]
 
 
 ## Who Can Participate? ##