I don't think we discussed these 'esoteric' languages before. Iota, an unambiguous Turing-complete language with just two symbols and Jot that uses the techniques used to construct Iota to provide a particularly elegant Goedel numbering.
Zot, a related language, has some sort of support for input/output. Zot's semantics are based on continutations.
Posted to theory by Ehud Lamm on 9/28/03; 3:37:04 AM
|
|