Merge branch 'master' of ssh://server.philosophy.fas.nyu.edu/Users/lambda/lambda

[lambda.git] / new_stuff.mdwn

diff --git a/new_stuff.mdwn b/new_stuff.mdwn
index 28495b8..f13e9fe 100644 (file)
--- a/new_stuff.mdwn
+++ b/new_stuff.mdwn
@@ -1,19 +1,15 @@
 Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet.
 
 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]]
+[[From List Zippers to Continuations]]

 
 

-[[Tree and List Zippers]]
-
-[[Coroutines and Aborts]]
-
-[[From Lists to Continuations]]
+[[Manipulating Trees with Monads]]

 
 

-[[List Monad as Continuation Monad]]
+[[code/tree_monadize.ml]]

 
 

-[[Manipulating Trees with Monads]]
+[[Curry-Howard]]

 
 

-[[Assignment8]]
+[[Translating between OCaml Scheme and Haskell]]

 
 

+[Commentary](/hints/assignment_6_commentary) on some common issues in the solutions to [[Assignment6]].

 
 

-[[Curry-Howard]]