3 ms·

Ha! This paper contains the definition of Y-Combinator: > Y combinator: Y = λt. (λx. t (x x)) (λx. t (x x)) #TIL!

• louthy 5y ago
  Which enables recursion
  • Akronymus 5y ago
    And applying the lambda to itself results in loops, afair. Edit: It was the Omega operator that did that.
    • kmill 5y ago
      omega = Y id where id = λx. x (though Y Y does not normalize either, infinite looping like omega)