Function lambda_calculus::list::tail

pub fn tail() -> Term

Equivalent to second(); applied to a Church-encoded list it returns a new list with all its elements but the first one.

TAIL := SECOND

Example

use lambda_calculus::term::Term;
use lambda_calculus::list::tail;
use lambda_calculus::arithmetic::{zero, one};
use lambda_calculus::reduction::normalize;

let list_110 = Term::from(vec![one(), one(), zero()]);

assert_eq!(normalize(tail().app(list_110)), Term::from(vec![one(), zero()]));