X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=8726ff695535efd49db08b91bfe0c4fe3fa0f792;hp=0d7173b5d55a2f1aa6895944701efbf6367ab453;hb=c622f91ab9df73744ac421726b9feed993d054c0;hpb=18f7078f083946d75f33478f86c10428624401f6

diff --git a/index.mdwn b/index.mdwn
index 0d7173b5..8726ff69 100644
--- a/index.mdwn
+++ b/index.mdwn
@@ -10,11 +10,19 @@ fourth floor at 10 Washington Place.
 
 ## Announcements ##
 
+<!--
 *	This is the time of the semester when some people start slipping
 behind with the homework.  Don't.
+-->
 
 *	We've added a page on [[Translating between OCaml Scheme and Haskell]]
 
+*	We've added some [commentary](/hints/assignment_6_commentary) on some common issues in your solutions to [[Assignment6]].
+
+*	We've added a [[Monad Library]] for OCaml.
+
+*	We've posted a [[State Monad Tutorial]].
+
 [[Older Announcements]]
 
 ##[[Lambda Evaluator]]##
@@ -25,6 +33,8 @@ the homework questions works correctly.
 There is also now a [library](/lambda_library) of lambda-calculus
 arithmetical and list operations, some relatively advanced.
 
+##[[Monad Library]]##
+
 
 ## Lecture Notes and Assignments ##
 
@@ -65,7 +75,7 @@ preloaded is available at [[assignment 3 evaluator]].
 
 (22 Nov) Lecture notes for [[Week10]]
 
->	Topics: Calculator Improvements, including mutation
+>	Topics: Calculator Improvements, including mutation; [[State Monad Tutorial]]
 
 (30 Nov) Lecture notes for [[Week11]]; [[Assignment8]].
 
@@ -73,7 +83,7 @@ preloaded is available at [[assignment 3 evaluator]].
 
 (6 Dec) Lecture notes for [[Week12]]
 
->	Topics: [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]]; ...
+>	Topics: [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]]; ...; [[Assignment9]].
 
 (13 Dec) Lecture notes for Week13
 
@@ -81,7 +91,7 @@ preloaded is available at [[assignment 3 evaluator]].
 
 [[Advanced Topics]]
 
->	Topics: Version 4 lists, Monads in Category Theory, Calculator Improvements
+>	Topics: Version 4 lists, Monads in Category Theory
 
 ##Scheme and OCaml##