Function lambda_calculus::combinators::om

pub fn om() -> Term

ω - the looping combinator.

ω := λx.x x

Example

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

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