From 945835525c1a4f9d8210693af0b60ecf957ba8be Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 13 Dec 2010 09:41:25 -0500 Subject: [PATCH 1/1] index,new_stuff Signed-off-by: Jim Pryor --- index.mdwn | 6 +++--- new_stuff.mdwn | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/index.mdwn b/index.mdwn index 05ce233a..79203f8b 100644 --- a/index.mdwn +++ b/index.mdwn @@ -71,7 +71,7 @@ preloaded is available at [[assignment 3 evaluator]]. (15 Nov) Lecture notes for [[Week9]]; [[Assignment7]]. Everyone auditing in the class is encouraged to do this assignment, or at least work through the substantial "hints". -> Topics: Mutable Variables; Passing by Reference; [[State Monad Tutorial]] +> Topics: Mutable Variables; Passing by Reference; [[State Monad Tutorial]] (added recently) (22 Nov) Lecture notes for [[Week10]] @@ -83,11 +83,11 @@ preloaded is available at [[assignment 3 evaluator]]. (6 Dec) Lecture notes for [[Week12]]; [[Assignment9]]. -> Topics: [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]]; [[Monad Transformers]] +> Topics: [[List Monad as Continuation Monad]]; [[Manipulating Trees with Monads]] (updated); [[Monad Transformers]] (added recently) (13 Dec) Lecture notes for Week13; Assignment10. -> Topics: CPS and Continuation Operators; Curry-Howard +> Topics: [[CPS and Continuation Operators]]; Curry-Howard [[Advanced Topics]] diff --git a/new_stuff.mdwn b/new_stuff.mdwn index 4905cc30..5ac5ec24 100644 --- a/new_stuff.mdwn +++ b/new_stuff.mdwn @@ -20,12 +20,12 @@ New stuff, fairly stable: * [[Translating between OCaml Scheme and Haskell]] * [[Monad Library]], code is at [[code/monads.ml]] * [[State Monad Tutorial]] +* [[CPS and Continuation Operators]] In progress: * [[Curry-Howard]] * [[Assignment10]] -* [[CPS and Continuation Operators]]