In a session on church numerals and lambda calculus by @jimblandy. We are at the end, but he has one more thing. No idea what it could be.
@TedMielczarek @jorendorff @jimblandy hah, i said that exact statement at lunch the other day.
-
-
@dietrich@TedMielczarek@jorendorff Gee, shucks. :) (It was: there's no such thing as the set of all functions to all functions.) -
@jimblandy Oh, I messed up the terminology. But there *is* a set (lambdas → lambdas), larger than the set of lambdas. - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.