User:PkmnQ/Quo

Quo (a shortening of Quasioutput) is an uncomputable esolang that can be considered either a wimpmode of Boolshit, or a variation of the concept of bbchallenge:Quasihalting.

Specification

Storage

Quo's main data type is a finite string of bits. These strings act stack-like; bits can be appended to and popped from the end of the string. Empty strings are valid, and will be labeles with ε here.

These strings of bits are stored in lists that can be indexed into using other strings of bits. For example, a list can contain 0 at ε, 00 at 0, 000 at 1, 0000 at 00, etc. Indexing into a list will be notated as [list name]@[string of bits], e.g. if we call the list from the previous sentence zeros, then zeros@1 is 000.

I/O and Halting

Input is taken as a string of bits I. Then, based on the input and the empty-named list, output and halting is determined as follows:

• If @I is only modified a finite amount of times, the program halts and outputs the final value of @I.
• If @I is modified an infinite amount of times, the program loops.