Module lambda_calculus::list
[−]
[src]
Functions
cons |
Equivalent to |
head |
Equivalent to |
length |
Applied to a Church-encoded list it returns its Church-encoded length. |
list |
Applied to a Church-encoded number |
nil |
Equivalent to |
null |
Applied to a Church-encoded list it determines if it is empty. |
reverse |
Reverses a Church-encoded list. |
tail |
Equivalent to |