From: Jim Pryor Date: Tue, 30 Nov 2010 22:31:10 +0000 (-0500) Subject: update index, new_stuff X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=548d4a8d3d08bacc3500dbdb9671e765bfda9b96 update index, new_stuff Signed-off-by: Jim Pryor --- diff --git a/index.mdwn b/index.mdwn index 5811ceee..9c4e1765 100644 --- a/index.mdwn +++ b/index.mdwn @@ -67,7 +67,7 @@ preloaded is available at [[assignment 3 evaluator]]. (30 Nov) Lecture notes for [[Week11]]; [[Assignment8]]. -> Topics: Zippers, Continuations +> Topics: [[Tree and List Zippers]]; [[Coroutines and Aborts]]; [[From Lists to Continuations]]; [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]]. (6 Dec) Lecture notes for Week12 diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 28495b8e..8843d37e 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -1,18 +1,5 @@ Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet. -[[Week11]] - -[[Tree and List Zippers]] - -[[Coroutines and Aborts]] - -[[From Lists to Continuations]] - -[[List Monad as Continuation Monad]] - -[[Manipulating Trees with Monads]] - -[[Assignment8]] [[Curry-Howard]]