Function lambda_calculus::reduction::beta_full

pub fn beta_full(term: Term) -> Term

Performs full normal-order β-reduction on a Term, consuming it in the process.

Example

use lambda_calculus::arithmetic::pred;
use lambda_calculus::reduction::beta_full;

let pred_one = pred().app(1.into());

assert_eq!(beta_full(pred_one), 0.into());