Macro lambda_calculus::tuple

macro_rules! tuple {
    ($first : expr, $($next : expr), +) => { ... };
}

A macro for creating lambda-encoded tuples.

Example

use lambda_calculus::term::*;
use lambda_calculus::*;

assert_eq!(
    tuple!(1.into_church(), 2.into_church()),
    abs(app!(Var(1), 1.into_church(), 2.into_church()))
);

assert_eq!(
    tuple!(1.into_church(), 2.into_church(), 3.into_church()),
    abs(app!(Var(1), 1.into_church(), 2.into_church(), 3.into_church()))
);