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