Module lambda_calculus::reduction
[−]
[src]
β-reduction for lambda Term
s
Enums
Order |
The evaluation order of
β-reductions. The default is |
Constants
SHOW_REDUCTIONS |
Set to |
Functions
apply |
Applies two |
benchmark |
Prints the number of reductions required for |
beta |
Performs β-reduction on a |