Module lambda_calculus::reduction
[−]
[src]
Functions
normalize |
Returns a term reduced to its normal form. Consumes its argument. |