Function lamcal::combinator::UU[−][src]

pub fn UU() -> Term

Θ - Turing fixed-point combinator

Θ ≡ (λab.b(aab))(λab.b(aab)) ≡ U U

discovered by Alan Turing.