Function lambda_calculus::data::list::scott::nil

pub fn nil() -> Term

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

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