projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
55c8cba
..
ce75342
100644
(file)
--- a/
new_stuff.mdwn
+++ b/
new_stuff.mdwn
@@
-1,12
+1,21
@@
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.
-[[Week10]]
-
[[Week11]]
[[Week11]]
-[[Curry-Howard]]
+[[Tree and List Zippers]]
+
+[[Coroutines and Aborts]]
+
+[[From Lists to Continuations]]
+
+[[List Monad as Continuation Monad]]
-[[Zipper-Lists-Continuations]]
+[[Manipulating Trees with Monads]]
+
+[[Zipper-Lists-Continuations]] -- now obsolete?
[[Assignment8]]
[[Assignment8]]
+
+[[Curry-Howard]]
+