From a54a7ba7c95965268d7a2a3c64a6a6c599fdb9da Mon Sep 17 00:00:00 2001
From: Elizabeth Hunt <elizabeth.hunt@simponic.xyz>
Date: Fri, 17 Nov 2023 12:09:44 -0700
Subject: finish compiler!

---
 godel/index.html | 23 ++++++++++++++++++-----
 1 file changed, 18 insertions(+), 5 deletions(-)

(limited to 'godel/index.html')

diff --git a/godel/index.html b/godel/index.html
index 1769959..f8e8dad 100644
--- a/godel/index.html
+++ b/godel/index.html
@@ -17,20 +17,22 @@
         <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:)+).
+// 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
 //    newline are ignored.
 // 5. by default, a computation that takes more than 500_000
 //    "procedures", it will be halted.
-// 6. the implicit exit label "E" exists; thus to exit
-//    prematurely, "GOTO E".
+// 6. the implicit exit label "E1" exists; thus to exit
+//    prematurely, "GOTO E1".
 // 7. 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
 //    /godel/grammar.peg
 
+// THIS PROGRAM COMPUTES X1 + X2
+
 // Y &lt;- X1
 [ A1 ] IF X1 != 0 GOTO A2
        GOTO B1
@@ -47,7 +49,7 @@
 
 // Y &lt;- Y + Z1
 [ C1 ] IF Z1 != 0 GOTO C2
-       GOTO E
+       GOTO E1
 [ C2 ] Z1 &lt;- Z1 - 1
        Y &lt;- Y + 1
        GOTO C1</textarea>
@@ -71,6 +73,17 @@
         </div>
       </div>
     </div>
+    <div class="textarea-container">
+      <h3>Godel</h3>
+      <p>Sequence:</p>
+      <pre id="godel_sequence"></pre>
+      <div>
+        <p>Number: <button id="godel_number_comp" style=
+        "display: none">Compute (this might take a
+        while)</button></p>
+      </div>
+      <pre id="godel_number"></pre>
+    </div>
   </div>
   <script src="codemirror/codemirror.js"></script> 
   <script src="js-beautify/js-beautify.js"></script> 
-- 
cgit v1.2.3-70-g09d2