Function lambda_calculus::reduction::normalize

pub fn normalize(term: Term) -> Term

Returns a term reduced to its normal form. Consumes its argument.

Example

use lambda_calculus::booleans::{if_else, tru};
use lambda_calculus::arithmetic::{zero, one, succ};
use lambda_calculus::reduction::normalize;

assert_eq!(normalize(succ().app(zero())), one());
assert_eq!(normalize(if_else().app(tru()).app(one()).app(zero())), one());