Function lambda_calculus::combinators::b
[−]
[src]
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::normalize; assert_eq!(normalize(b().app(0.into()).app(1.into()).app(2.into())), normalize(Term::from(0).app(Term::from(1).app(2.into()))));