add anchors to installing

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 8fc6db5..f1be5a1 100644 (file)
--- 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? ##