Function lambda_calculus::combinators::R
source · pub fn R() -> Term
Expand description
R - the reverse application (thrush) combinator.
R ≡ λxf.f x ≡ λ λ 1 2
Example
use lambda_calculus::combinators::R;
use lambda_calculus::*;
assert_eq!(
beta(app!(R(), Var(1), Var(2)), NOR, 0),
app(Var(2), Var(1))
);