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