3 ms·
> 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 t
by tromp 2y ago
> 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.
- saberience 2y agoWhat's a church numeral?