Function definition: Difference between revisions
m
→{{header|Binary Lambda Calculus}}
imported>Tromp |
|||
Line 1,107:
In lambda calculus, multiplication on Church numerals is <code>mul = \m \n \f. m (n f)</code> which in BLC is
<
If mul is used several times within an expression E, then they can share the same definition by using <code>(\mul. E)(\m\n\f. m (n f))</code>. For example, the cube function is <code>\n. (\mul. mul n (mul n n)) (\m\n\f. m (n f))</code> which in BLC is
<
=={{header|BQN}}==
| |||