Pascal Costanza wrote: > c) Turing equivalence is boring. Only the stuff that goes beyond Turing > equivalence is really interesting in language design. No. A lot of interesting work is focused on falling below Turing equivalence, too. Shriram