X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=zipper-lists-continuations.mdwn;h=3ccb88595392dda39a3489e97dfe3c7e2e379cb0;hb=37bc88e88956de1133b0d9dc20028f132304c535;hp=8c052f0e22c42b5470d1c723c4753dc875b6df2a;hpb=dfd299634e576bfe075da7863a91327ec6c3d31f;p=lambda.git

diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn
index 8c052f0e..3ccb8859 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
 -------------------------