Function lambda_calculus::data::num::church::one

source · 
pub fn one() -> Term
Expand description

Produces a Church-encoded number one.

ONE ≡ λfx.f x ≡ λ λ 2 1

Example

use lambda_calculus::data::num::church::one;
use lambda_calculus::*;

assert_eq!(one(), 1.into_church());