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, consuming them in the process.