Talk:Portal 2

Is this proven TC ?
While it may be an Extended Wang machine like Brainfuck this doesn't mean that it's TC. What I see is sufficient looping power to give you a single "repeat ... until" not the "while..switch..if" that seems to be a prerequisite for procedural TC. Rdebath (talk) 08:05, 13 November 2014 (UTC)