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