Fork me on GitHub
#off-topic
<
2016-10-23
>
borkdude10:10:24

In lambda calculus, can I return a closure that doesn’t take any args?

(lambda b. (lambda. b))

borkdude10:10:45

This interpreter doesn’t seem to accept it: https://people.eecs.berkeley.edu/~gongliang13/lambda/