So you claim that the Y -combinator , produces always the operator itself as an output, that put in as an argument? Strange.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Ok, it's then a lambda term, with eventual non direct infinite recursiion.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
For Raimund Smulliyan in wood with a mocking bird and a connective bird , every bird loves a bird , this is the same.
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.