X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=11bee2656244f0ba48420fcbfd7e7fc395e8812c;hp=8fc6db50b662ebb26668c9af1dfd02d1c6dfc7bd;hb=b69d79536fa5452f2a3352ba96081dcb34297daa;hpb=4790ffcaece6a75cf9fb0ea5fa9bc19ddc976f1d

diff --git a/index.mdwn b/index.mdwn
index 8fc6db50..11bee265 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