Function lambda_calculus::combinators::B

pub fn B() -> Term

B - the composition combinator.

B ≡ λxyz.x (y z) ≡ λ λ λ 3 (2 1)

Example

use lambda_calculus::combinators::B;
use lambda_calculus::*;

assert_eq!(
    beta(app!(B(), Var(1), Var(2), Var(3)), NOR, 0),
    app(Var(1), app(Var(2), Var(3)))
);