Module lambda_calculus::reduction
[−]
[src]
β-reduction for lambda Term
s
Reexports
pub use self::Order::*; |
Enums
Order |
The evaluation order of β-reductions. |
Functions
beta |
Performs β-reduction on a |