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::beta_full;

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