Function lambda_calculus::data::list::parigot::nil

pub fn nil() -> Term

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

NIL ≡ λab.a ≡ λ λ 2 ≡ TRUE