The LAMBDA function allows the user to construct lambda terms and perform β-reduction on them. In practice, this means creating and applying custom functions.
LAMBDA(name, formula_expression)The LAMBDA function allows the user to construct lambda terms and perform β-reduction on them. In practice, this means creating and applying custom functions.
LAMBDA(name, formula_expression)