X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=f1be5a1c40f260fd3c9c5c2234a3ef8f9c729c11;hp=21a3aa8b5f6aefa06bf01b0037aaf8fab70c3fd8;hb=274f764bde1ffb81f0931c937e5de84d747d11a6;hpb=58b1b1a64793610dfca627e683a1bc5d45a78157

diff --git a/index.mdwn b/index.mdwn
index 21a3aa8b..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 ##
 
@@ -73,15 +73,23 @@ what you think you need in order to solve the problem.
 
 
 
-(Week 1) Thursday 29 Jan 2015
+(**Week 1**) Thursday 29 Jan 2015
 
 > Topics:
-[[Order in programming languages and natural language|topics/week1 order]]
-[[Introduction to functional programming|topics/week1]]
-[[Homework|exercises/assignment1]]
+[[Order in programming languages and natural language|topics/week1 order]];
+[[Introduction to functional programming|topics/week1]];
+[[Homework|exercises/assignment1]];
 [[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? ##