Function lambda_calculus::arithmetic::zero
[−]
[src]
pub fn zero() -> Term
Produces a Church-encoded zero.
ZERO := λfx.x = λ λ 1
Example
use lambda_calculus::arithmetic::zero; assert_eq!(format!("{}", zero()), "λλ1");