Function lambda_calculus::list::tail

pub fn tail() -> Term

Equivalent to pair::snd(); applied to a Church list it returns a new list with all its elements but the first one.

TAIL := SND

Example

use lambda_calculus::term::Term;
use lambda_calculus::list::tail;
use lambda_calculus::arithmetic::{zero, one};
use lambda_calculus::reduction::beta;
use lambda_calculus::reduction::Order::*;

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

assert_eq!(beta(app!(tail(), list_110), NOR, 0), Term::from(vec![one(), zero()]));