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.