Function lambda_calculus::arithmetic::one

pub fn one() -> Term

Produces a Church-encoded number one.

ONE := λfx.f x = λ λ 2 1

Example

use lambda_calculus::arithmetic::one;

assert_eq!(format!("{}", one()), "λλ21");