From: Chris Barker Date: Sat, 27 Nov 2010 04:43:49 +0000 (-0500) Subject: edits X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=3d53131298c479c56d95be8c6d2b62127cac087d edits --- diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn index 8c052f0e..1b571f61 100644 --- 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 -------------------------