Function tail 

pub fn tail() -> Term

Applied to a pair-encoded list it returns a new list with all its elements but the first one; equivalent to pair::snd.

TAIL ≡ λp.p FALSE ≡ λ 1 FALSE ≡ SND

Example

use lambda_calculus::data::list::pair::tail;
use lambda_calculus::*;

let list = vec![1.into_church(), 2.into_church(), 3.into_church()].into_pair_list();

assert_eq!(
    beta(app(tail(), list), NOR, 0),
    vec![2.into_church(), 3.into_church()].into_pair_list()
);