Module lambda_calculus::reduction

β-reduction for lambda Terms

Constants

SHOW_REDUCTIONS

Set to true to see all the steps of β-reductions. The default is false.

Functions

beta_full	Performs full normal-order β-reduction on a Term, consuming it in the process.
beta_once	Performs a single normal-order β-reduction on self.
normalize	Returns a term reduced to its normal form. Consumes its argument.