Function lambda_calculus::data::list::pair::nil

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

Produces a nil, the last link of a pair-encoded list; equivalent to boolean::fls.

NIL ≡ λab.b ≡ λ λ 1 ≡ FALSE