• @[email protected]
        link
        fedilink
        3
        edit-2
        5 hours ago
        Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄
           = (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))
           = 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)))
           = 😄(Y😄)