projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
449ca8e
)
edits
author
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 04:50:48 +0000
(23:50 -0500)
committer
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 04:50:48 +0000
(23:50 -0500)
zipper-lists-continuations.mdwn
patch
|
blob
|
history
diff --git
a/zipper-lists-continuations.mdwn
b/zipper-lists-continuations.mdwn
index
a9d0e8f
..
581cdf4
100644
(file)
--- a/
zipper-lists-continuations.mdwn
+++ b/
zipper-lists-continuations.mdwn
@@
-55,7
+55,7
@@
so we have to abstract over that variable to balance the books:
fun e -> f (u e) ...
This types to `env -> 'b reader`, but we want to end up with `env ->
-'b`.
The easiest way to turn a 'b reader into a 'b
is to apply it to
+'b`.
Once again, the easiest way to turn a `'b reader` into a `'b`
is to apply it to
an environment. So we end up as follows:
r_bind (u:'a reader) (f:'a -> 'b reader):('b reader) = f (u e) e