projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 2:
3835a47
)
Merge branch 'pryor'
author
Jim Pryor
<profjim@jimpryor.net>
Sat, 27 Nov 2010 04:46:38 +0000
(23:46 -0500)
committer
Jim Pryor
<profjim@jimpryor.net>
Sat, 27 Nov 2010 04:46:38 +0000
(23:46 -0500)
zipper-lists-continuations.mdwn
patch
|
blob
|
history
diff --git
a/zipper-lists-continuations.mdwn
b/zipper-lists-continuations.mdwn
index
8c052f0
..
3ccb885
100644
(file)
--- a/
zipper-lists-continuations.mdwn
+++ b/
zipper-lists-continuations.mdwn
@@
-5,9
+5,7
@@
continuation monad.
The three approches are:
-* Rethinking the list monad;
-* Montague's PTQ treatment of DPs as generalized quantifiers; and
-* Refunctionalizing zippers (Shan: zippers are defunctionalized continuations);
+[[toc!]]
Rethinking the list monad
-------------------------