Function lambda_calculus::combinators::i

pub fn i() -> Term

I - the identity combinator.

I := λx.x = λ 1

Example

use lambda_calculus::combinators::i;
use lambda_calculus::arithmetic::zero;
use lambda_calculus::reduction::normalize;

assert_eq!(normalize(i().app(zero())), zero());