pub fn is_zero() -> Term
Expand description
Applied to a Church-encoded number it produces a lambda-encoded boolean, indicating whether its argument is equal to zero.
IS_ZERO ≡ λn.n (λx.FALSE) TRUE ≡ λ 1 (λ FALSE) TRUE
Example
use lambda_calculus::data::num::church::is_zero;
use lambda_calculus::*;
assert_eq!(beta(app(is_zero(), 0.into_church()), NOR, 0), true.into());
assert_eq!(beta(app(is_zero(), 1.into_church()), NOR, 0), false.into());