mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 03:45:29 +03:00
9 lines
220 B
Plaintext
9 lines
220 B
Plaintext
(CC.lang program) =
|
|
let callcc = λcallback (λ$garbage($hole) (callback λ$hole(0)))
|
|
let result = (program callcc)
|
|
let garbage = $garbage
|
|
result
|
|
|
|
Main = (CC.lang λcallcc
|
|
(+ 10 (callcc λk(+ (k 42) 1729))))
|