From 449ca8e544f4f19ddfc567850014d94b6b985598 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Fri, 26 Nov 2010 23:50:11 -0500 Subject: [PATCH] edits --- zipper-lists-continuations.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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) ... -- 2.11.0