You are viewing a single comment's thread. Return to all comments →
No, it's just a definition. As long as that function nests properly in the numeral chain, things hold and results are correctly computed.
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Evaluating Expressions #3
You are viewing a single comment's thread. Return to all comments →
No, it's just a definition. As long as that function nests properly in the numeral chain, things hold and results are correctly computed.