User:Simple9371
Jump to navigation
Jump to search
Hello! I like to create minimal languages/Turing tarpits that I expect to have "interesting" proofs of their computational class. Expect to be bad at naming and assigning symbols for constructs.