Function lambda_calculus::combinators::O

source · 
pub fn O() -> Term
Expand description

Ω - the divergent combinator.

Ω ≡ ω ω

Example

use lambda_calculus::combinators::O;
use lambda_calculus::*;

assert_eq!(beta(O(), NOR, 3), O()); // 3 β-reductions do nothing