Closed MarisaKirisame closed 3 years ago
maybe it is trying to show that prompt (\x. 1 + yield x (\k. k (k 41))) = 43? anyway the beta reduction there is definitely wrong.
Thanks @MarisaKirisame ! This library won't inspire confidence if I can't even add 1 :-)
maybe it is trying to show that prompt (\x. 1 + yield x (\k. k (k 41))) = 43? anyway the beta reduction there is definitely wrong.