Signed-off-by: Jim Pryor <profjim@jimpryor.net>
(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
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]]