Function lambda_calculus::data::pair::pair

pub fn pair() -> Term

Applied to two Terms it contains them in a lambda-encoded pair.

PAIR ≡ λxyz.z x y ≡ λ λ λ 1 3 2

Example

use lambda_calculus::data::pair::pair;
use lambda_calculus::*;

assert_eq!(
    beta(app!(pair(), 1.into_church(), 2.into_church()), NOR, 0),
    (1, 2).into_church()
);