Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄
= (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))
= 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)))
= 😄(Y😄)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄
= (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))
= 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)))
= 😄(Y😄)