fix broken link

[lambda.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 21a3aa8..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.
 -->
 
 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 ##
 
 
 ## 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:
 
 > 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]]
 
 
 [[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
 ## 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.
 
 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? ##
 
 
 ## Who Can Participate? ##