The LAMBDA Function
Incomplete Article
This article is incomplete. It is missing relevant information.
Introduction
The LAMBDA function allows the user to construct lambda terms and perform β-reduction on them. In practice, this means creating and applying custom functions.
Syntax
LAMBDA(name, formula_expression)