b0

lambda_calculus::data::num::binary

Function b0 

Source 
pub fn b0() -> Term
Expand description

A 0 bit; equivalent to boolean::tru.

B0 ≡ λab.a ≡ λ λ 2 ≡ TRUE