You must log in or register to comment.
Y=λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬))
Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄 = (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)) = 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))) = 😄(Y😄)
Y=λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬))
Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄
= (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))
= 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)))
= 😄(Y😄)