From aadf74c3fcd73d3e6cdc0babb6ceedc8039f63f6 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 30 Nov 2010 16:14:54 -0500 Subject: [PATCH 1/1] new_stuff Signed-off-by: Jim Pryor --- new_stuff.mdwn | 13 ++++++++++++- week11.mdwn | 2 -- 2 files changed, 12 insertions(+), 3 deletions(-) diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 06499854..ce753428 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -2,9 +2,20 @@ Page for Chris and Jim to see what each other is working on, but hasn't necessar [[Week11]] -[[Zipper-Lists-Continuations]] +[[Tree and List Zippers]] + +[[Coroutines and Aborts]] + +[[From Lists to Continuations]] + +[[List Monad as Continuation Monad]] + +[[Manipulating Trees with Monads]] + +[[Zipper-Lists-Continuations]] -- now obsolete? [[Assignment8]] + [[Curry-Howard]] diff --git a/week11.mdwn b/week11.mdwn index ceece2e7..235c11b5 100644 --- a/week11.mdwn +++ b/week11.mdwn @@ -1,8 +1,6 @@ These notes may change in the next few days (today is 30 Nov 2010). The material here benefited from many discussions with Ken Shan. -[[!toc]] - ##[[Tree and List Zippers]]## ##[[Coroutines and Aborts]]## -- 2.11.0