Iota and Jot

From Free net encyclopedia

Iota and its successor Jot are Turing tarpits, esoteric programming languages that are designed to be as small as possible but still Turing-complete. Each uses two symbols and involves two operations, with simple denotational semantics defined in terms of lambda calculus. Zot is an extension of Jot that includes input and output mechanisms. Template:Compu-lang-stub

See also

• Lambda calculus
• Combinatory logic
• Binary combinatory logic

External links

• Iota and Jot: the simplest languages?