Function lambda_calculus::combinators::omm
[−]
[src]
pub fn omm() -> Term
Ω - the divergent combinator.
Ω := ω ω
pub fn omm() -> Term
Ω - the divergent combinator.
Ω := ω ω