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::term::Term;
use lambda_calculus::combinators::b;
use lambda_calculus::reduction::beta_full;

assert_eq!(beta_full(b().app(0.into()).app(1.into()).app(2.into())),
           beta_full(Term::from(0).app(Term::from(1).app(2.into()))));