projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edits
[lambda.git]
/
zipper-lists-continuations.mdwn
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
.... 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) ...
fun e -> f (u e) ...