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. |
Constants
DISPLAY_PRETTY |
Set to |
Functions
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. |