Function lambda_calculus::data::num::binary::zero

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

Produces a binary-encoded number zero.

ZERO ≡ λzxy.z ≡ λ λ λ 3

Example

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

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