Module lambda_calculus::reduction

β-reduction for lambda Terms

Re-exports

pub use self::Order::*;

Enums

Order

The evaluation order of β-reductions.

Functions

beta

Performs β-reduction on a Term with the specified evaluation Order and an optional limit on the number of reductions (0 means no limit) and returns the reduced Term.