Function lamcal::combinator::M[][src]

pub fn M() -> Term

ω - M - Mockingbird - Self-application combinator

ω ≡ M ≡ λa.aa ≡ S I I