Module lambda_calculus::reduction
[−]
[src]
β-reduction for lambda Term
s
Constants
SHOW_REDUCTIONS |
Set to |
Functions
beta_full |
Performs full normal-order β-reduction on a |
beta_once |
Performs a single normal-order β-reduction on |
normalize |
Returns a term reduced to its normal form. Consumes its argument. |