projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a283682
)
edits
author
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 04:50:11 +0000
(23:50 -0500)
committer
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 04:50:11 +0000
(23:50 -0500)
zipper-lists-continuations.mdwn
patch
|
blob
|
history
diff --git
a/zipper-lists-continuations.mdwn
b/zipper-lists-continuations.mdwn
index
6ec4d34
..
a9d0e8f
100644
(file)
--- 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) ...