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:

Select a PL-{GOTO} program from the dropdown box and click "Run" to run it. You can also edit the program before running it. Or you could clear the textbox and write an entirely new program there and run it.

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