• fool
    link
    fedilink
    English
    arrow-up
    34
    ·
    2 months ago

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

    • tetris11@lemmy.ml
      link
      fedilink
      arrow-up
      7
      ·
      edit-2
      2 months ago
      Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄
         = (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))
         = 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)))
         = 😄(Y😄)