X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=zipper-lists-continuations.mdwn;h=1b571f616bd9a250e669ecfe1f6b35138a6d373b;hp=8c052f0e22c42b5470d1c723c4753dc875b6df2a;hb=3d53131298c479c56d95be8c6d2b62127cac087d;hpb=d7222c3a02d8dd06a06377ee4d305bc4fbeab5f4

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
 -------------------------