XGitUrl: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=84d34856b9a3efae5e6788792ec8bee0ce5b974b;hp=04ee19f377654126f742d447a63d97e0bcaff36e;hb=8b5f17b3b2c71d443362d7f629dec6cd82b4fb59;hpb=9bd794a7cbaf8fe908664576ec8409f2b8c51f4b
diff git a/content.mdwn b/content.mdwn
index 04ee19f3..84d34856 100644
 a/content.mdwn
+++ b/content.mdwn
@@ 18,18 +18,17 @@ week in which they were introduced.
* [[List Comprehensionstopics/week3 lists#comprehensions]]
* [[Unit and its usefulnesstopics/week3 unit]]
* More tips on using Scheme
 * Types in OCaml and Haskell (will be posted soon)
 * Practical advice for working with OCaml and/or Haskell (will be posted soon)
+ * Types in OCaml and Haskell (will be posted someday)
+ * Practical advice for working with OCaml and/or Haskell (will be posted someday)
* [[Kaplan on Plexytopics/week6_plexy]] and the Maybe type
 * Interpreter for Lambda terms
 * [[Introducing Monadstopics/week7_introducing_monads]]
+ * Untyped lambda evaluator ([[in browsercode/lambda_evaluator]]) (for home)
* Order, "static versus dynamic"
* [[Order in programming languages and natural languagetopics/week1 order]]
* [[Reduction Strategies and Normal Forms in the Lambda Calculustopics/week3_evaluation_order]]
* [[Unit and its usefulnesstopics/week3 unit]]
 * [[Combinatory evaluatortopics/week7_combinatory_evaluator]]
+ * Combinatory evaluator ([[for hometopics/week7_combinatory_evaluator]])
* The Untyped Lambda Calculus
@@ 46,19 +45,24 @@ week in which they were introduced.
* [[Reduction Strategies and Normal Formstopics/week3_evaluation_order]]
* [[Fixed point combinatorstopics/week4_fixed_point_combinators]]
* [[More about fixed point combinatorstopics/week4_more_about_fixed_point_combinators]]
 * Interpreter for Lambda terms
+ * Untyped lambda evaluator ([[in browsercode/lambda_evaluator]]) (for home)
* Combinatory logic
* [[Introductiontopics/week3 combinatory logic]]
 * [[Combinatory evaluatortopics/week7_combinatory_evaluator]]
+ * Combinatory evaluator ([[for hometopics/week7_combinatory_evaluator]])
* Typed Lambda Calculi
* [[Simplytyped lambda calculustopics/week5 simply typed]] (will be updated)
* [[System Ftopics/week5 system F]] (will be updated)
 * Types in OCaml and Haskell (will be posted soon)
+ * Types in OCaml and Haskell (will be posted someday)
+ * see also Monads links, below
+
+* Monads
* [[Introducing Monadstopics/week7_introducing_monads]]
+ * [[Safe division with monadstopics/week8_safe_division_with_monads]]
+
## Topics by week ##
@@ 82,8 +86,6 @@ Week 2:
Week 3:
*These notes were developed over the course of the week. It'd be a good idea to review them again now, to be sure you've read all the content.*

* [[Arithmetic with Church numberstopics/week3_church_arithmetic]]
* [[More on Liststopics/week3 lists]]
Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus, and some new list encodings
@@ 98,17 +100,16 @@ Week 4:
* [[Fixed point combinatorstopics/week4_fixed_point_combinators]]
* [[More about fixed point combinatorstopics/week4_more_about_fixed_point_combinators]]
* Towards types (in progress)
* [[Homework for week 4exercises/assignment4]]
+* [[Homework for week 4exercises/assignment4]] ([[Answersexercises/assignment4_answers]])
Week 5:
*Note*: Jim will be updating and expanding the lecture notes by Tuesday, but doesn't want to delay any longer letting you have access to the drafts we (in part) presented from in seminar. But do come back and reread the pages when the expanded versions are posted.

* [[Simplytyped lambda calculustopics/week5 simply typed]]
* [[System Ftopics/week5 system F]]
* Types in OCaml and Haskell (will be posted soon)
* Practical advice for working with OCaml and/or Haskell (will be posted soon)
* [[Homework for weeks 5 and 6exercises/assignment5]]
+* Types in OCaml and Haskell (will be posted someday)
+* Practical advice for working with OCaml and/or Haskell (will be posted someday)
+* [[Homework for weeks 5 and 6exercises/assignment5]] ([[Answersexercises/assignment5_answers]])
+
Week 6:
@@ 120,6 +121,11 @@ Week 6:
Week 7:
* [[Combinatory evaluatortopics/week7_combinatory_evaluator]]
* Interpreter for Lambda terms
* [[Introducing Monadstopics/week7_introducing_monads]]
+* Untyped lambda evaluator (will be posted soon)
+* [[Introducing Monadstopics/week7_introducing_monads]] (updated Mon 23 Mar)
* [[Homework for week 7exercises/assignment7]]
+
+Week 8:
+
+* [[Safe division with monadstopics/week8_safe_division_with_monads]]
+