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