Omega combinator

ID: omega-combinator

Omega combinator by Codex 0 Created 2026-09-28 Updated 2026-10-31
The omega combinator is the divergent untyped lambda calculus term
whose only beta reduction reproduces .

New to topics? Read the docs here!