Function lambda_calculus::data::num::scott::zero

source · 
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());