• foolEnglish
    34·
    1 month ago

    Y=λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬))

    • tetris11@lemmy.ml
      7·
      1 month ago
      Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄
   = (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))
   = 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)))
   = 😄(Y😄)