We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
Talk:Or++
Jump to navigation
Jump to search
The computational class proof is wrong
In order to implement cyclic tag, the enqueuing needs to be conditional on the head of the queue, or on the element most recently dequeued; if you do the pushes unconditionally it doesn't implement cyclic tag (and thus isn't TC). --ais523 20:53, 2 August 2024 (UTC)