(the language was originally created on PPCG – it's the language I implemented in four bytes of Jelly
here – but it's taken on something of a life of its own since, because it seems really theoretically interesting and has already been used to prove at least two other languages Turing-complete, and I thought it was worth giving some of the results of it back to PPCG, thus a TIO link seems helpful)