PL-{GOTO}

This is a web-based interpreter for the pedagogical language PL-{GOTO}, as described in Brainerd and Landweber's Theory of Computation (1974; ISBN 0471095850), in which it is only possible to express computations which are primitive recursive.

Technically, it is PL-{GOTO}.NET (written in Haskell) compiled to Javascript by the Haste compiler, running in an HTML5 document.

Instructions:

Type a PL-{GOTO} program into the text box and click "Run" to run it. Here is an example program you could try pasting in.

You might also want to read the description of the PL-{GOTO}.NET compiler.