X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=zipper-lists-continuations.mdwn;h=a9d0e8faa237e271f7ca44b8de76d80b5d9afaa5;hp=6ec4d3418ac767f32b687d85c382db31d97f579f;hb=449ca8e544f4f19ddfc567850014d94b6b985598;hpb=a2836827f3ba40c4bd1fa3b8308f852405d79cee

diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn
index 6ec4d341..a9d0e8fa 100644
--- a/zipper-lists-continuations.mdwn
+++ b/zipper-lists-continuations.mdwn
@@ -49,8 +49,8 @@ by applying it to an environment:
          .... f (u e) ...
 
 This subexpression types to `'b reader`, which is good.  The only
-problem is that we don't have an `e`, so we have to abstract over that
-variable:
+problem is that we invented an environment `e` that we didn't already have ,
+so we have to abstract over that variable to balance the books:
 
          fun e -> f (u e) ...