Module lambda_calculus::list

Church single-pair list

Functions

cons	Equivalent to pair(); applied to two terms it returns them contained in a Church-encoded list.
head	Equivalent to first(); applied to a Church-encoded list it returns its first element.
length	Applied to a Church-encoded list it returns its Church-encoded length.
list	Applied to a Church-encoded number n and n Terms it creates a Church-encoded list of those terms.
nil	Equivalent to fls(); produces a Church-encoded nil, the last link of a Church-encoded list.
null	Applied to a Church-encoded list it determines if it is empty.
reverse	Reverses a Church-encoded list.
tail	Equivalent to second(); applied to a Church-encoded list it returns a new list with all its elements but the first one.