Module lambda_calculus::term [−] [src]

Enums

Error	An error that can be returned when an inapplicable function is applied to a term.
Term	A lambda term that is either a variable with a De Bruijn index, an abstraction over a term or an applicaction of one term to another.

Set to true for λ or false for \ when displaying lambda terms. The default is true.

abs	Wraps a term in an abstraction. Consumes its argument.
app	Produces an application of its arguments without substitution or reduction, consuming them in the process.
apply	Applies two terms with substitution and variable update, consuming them in the process.