projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
edeaf26
)
cps tweaks
author
Jim Pryor
<profjim@jimpryor.net>
Tue, 14 Dec 2010 11:42:00 +0000
(06:42 -0500)
committer
Jim Pryor
<profjim@jimpryor.net>
Tue, 14 Dec 2010 11:42:00 +0000
(06:42 -0500)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
cps_and_continuation_operators.mdwn
patch
|
blob
|
history
diff --git
a/cps_and_continuation_operators.mdwn
b/cps_and_continuation_operators.mdwn
index
b1f6c69
..
2c3f356
100644
(file)
--- a/
cps_and_continuation_operators.mdwn
+++ b/
cps_and_continuation_operators.mdwn
@@
-272,7
+272,7
@@
The third example is more difficult to make work with the monadic library, becau
# C.(run0 (callcc (fun k -> unit (1,`Box k)) >>= fun (p1,`Box p2) -> p2 (2,`Box unit) >>= fun p2' -> unit (p1,p2')));;
- : int * (int * [ `Box of 'b -> ('a, 'b) C.m ] as 'b) as 'a =
-(2, (2, `Box <fun>))
+
(2, (2, `Box <fun>))
<!-- FIXME -->