Maybe the lambda calculus core team should hire some professional typists.
Is there anything left of the untyped lambda calculus at this point? I'd think by now they'd have typed it all.
-
-
-
The unsolved problem is that the untyped lambda calculus is point-free, while the typed one is not.
- 1 more reply
New conversation -
-
-
That's the paradox, isn't it?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.