User:Simple9371

Hello! I like to create minimal languages/Turing tarpits that are expected to have difficult/interesting/weird proof of its computational class. Expect to be bad at naming and assigning symbols for constructs.

I also plan to prove computational classes of Esolangs I find here.