projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
03ba166
)
cps tweaks
author
Jim Pryor
<profjim@jimpryor.net>
Tue, 14 Dec 2010 09:15:00 +0000
(
04:15
-0500)
committer
Jim Pryor
<profjim@jimpryor.net>
Tue, 14 Dec 2010 09:15:00 +0000
(
04:15
-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
3b0dda7
..
4fcf5e0
100644
(file)
--- a/
cps_and_continuation_operators.mdwn
+++ b/
cps_and_continuation_operators.mdwn
@@
-432,8
+432,9
@@
Example 2:
# Continuation_monad.(run0(
reset (
abort 1 >>= fun i ->
# Continuation_monad.(run0(
reset (
abort 1 >>= fun i ->
- unit (10+i)) >>= fun j ->
- unit (100+j)));;
+ unit (10+i)
+ ) >>= fun j ->
+ unit (100+j)));;
- : int = 101
Example 3:
- : int = 101
Example 3: