X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=cps_and_continuation_operators.mdwn;h=6d98f64501b327154775accb0b3cb17d04e9d65b;hp=30dcc121c4dc27f278efb229a9031318d2ebf892;hb=b37134816a0aab587f428301f705777b4ed7f3ee;hpb=6d7421674411dbbd0cd48910aecc197f316e6879 diff --git a/cps_and_continuation_operators.mdwn b/cps_and_continuation_operators.mdwn index 30dcc121..6d98f645 100644 --- 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)