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))
);