diff options
Diffstat (limited to 'godel/index.html')
| -rw-r--r-- | godel/index.html | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/godel/index.html b/godel/index.html index f74a48e..4c13be7 100644 --- a/godel/index.html +++ b/godel/index.html @@ -16,19 +16,15 @@ <h3>L Source</h3> <textarea id= "instructions">// 0. primitive instructions only -// 1. labels match the regex [A-E](:digit:)+. -// 2. variables are initialized to zero and match -// (Y | (X|Z)(:digit:)+). -// 3. instructions must be delimited by a newline. -// 4. anything following the comment token "//" up to a +// 1. anything following the comment token "//" up to a // newline are ignored. -// 5. by default, a computation that takes more than 500_000 +// 2. by default, a computation that takes more than 500_000 // "procedures", it will be halted. -// 6. the implicit exit label "E1" exists; thus to exit +// 3. the implicit exit label "E1" exists; thus to exit // prematurely, "GOTO E1". -// 7. input your initial snapshot in the "variables" map +// 4. input your initial snapshot in the "variables" map // on the Program in the compiled JS output -// 8. for a more detailed view on the grammar, it's at +// 5. for a more detailed view on the grammar, it's at // /godel/grammar.peg // THIS PROGRAM COMPUTES X1 + X2 |