Function lambda_calculus::data::num::church::zero

source · 
pub fn zero() -> Term
Expand description

Produces a Church-encoded number zero; equivalent to boolean::fls.

ZERO ≡ λfx.x ≡ λ λ 1 ≡ FALSE

Example

use lambda_calculus::data::num::church::zero;
use lambda_calculus::*;

assert_eq!(zero(), 0.into_church());