projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
cps tweaks
[lambda.git]
/
cps_and_continuation_operators.mdwn
diff --git
a/cps_and_continuation_operators.mdwn
b/cps_and_continuation_operators.mdwn
index
30dcc12
..
6d98f64
100644
(file)
--- a/
cps_and_continuation_operators.mdwn
+++ b/
cps_and_continuation_operators.mdwn
@@
-397,7
+397,7
@@
Here is [the answer](/hints/cps_hint_4), but again, first try to figure it out f
Delimited control operators
===========================
-Here again is the CPS for `callcc`:
+Here again is the CPS
transform
for `callcc`:
[callcc (\k. body)] = \outk. (\k. [body] outk) (\v localk. outk v)