> I still have issues with practical examples like the above.
What issues would those be? Do you see that λf.λx.n f(f x)) is the Church numeral n+1 ?
I think there's few better ways to grok lambda calculus than working through examples like these step-by-step.
What issues would those be? Do you see that λf.λx.n f(f x)) is the Church numeral n+1 ? I think there's few better ways to grok lambda calculus than working through examples like these step-by-step.