pub fn zero() -> Term
Expand description
Produces a Scott-encoded number zero; equivalent to boolean::tru
.
ZERO ≡ λxy.x ≡ λ λ 2 ≡ TRUE
Example
use lambda_calculus::data::num::scott::zero;
use lambda_calculus::*;
assert_eq!(zero(), 0.into_scott());