Module lambda_calculus::reduction
source · Expand description
β-reduction for lambda Term
s
Re-exports
pub use self::Order::*;
Enums
- The evaluation order of β-reductions.
Functions
- Performs β-reduction on a
Term
with the specified evaluationOrder
and an optional limit on the number of reductions (0
means no limit) and returns the reducedTerm
.