Function lambda_calculus::combinators::w

pub fn w() -> Term

W - the duplicating combinator.

W := λxy.x y y = λ λ 2 1 1

Example

use lambda_calculus::combinators::w;
use lambda_calculus::arithmetic::{zero, one};
use lambda_calculus::reduction::normalize;

assert_eq!(normalize(w().app(zero()).app(one())),
           normalize(zero().app(one()).app(one())));