Function lambda_calculus::list::nil [−] [src]

pub fn nil() -> Term

Equivalent to fls(); produces a Church-encoded nil, the last link of a Church-encoded list.

NIL := FALSE

Example

use lambda_calculus::list::nil;
use lambda_calculus::booleans::fls;

assert_eq!(nil(), fls());