Omega combinator 2026-09-28
View more
The omega combinator is the divergent untyped lambda calculus term
(1)
whose only beta reduction reproduces .
Read the full article