Talk:λx.
Jump to navigation
Jump to search
a implementation
im pretty sure this is SKI combinator calculus in λx. but im not sure:
λxλyλz.((xz)(yz)) ↓ λx.(λy.(λz.((λx.λz.)(λy.λz.)))) (S)
and
λxλy.x ↓ λx.(λy.(λx.)) (K)
if this is true then heres a long version of the identity function:
λx. (λλλx(S)(K)(K)) (I)