Function lambda_calculus::arithmetic::zero

pub fn zero() -> Term

Produces a Church-encoded number zero.

ZERO := λfx.x = λ λ 1

Example

use lambda_calculus::arithmetic::zero;

assert_eq!(format!("{}", zero()), "λλ1");