diff options
| -rw-r--r-- | src/toys/godel/index.html | 4 | ||||
| -rw-r--r-- | src/toys/godel/js/ui.js | 8 |
2 files changed, 3 insertions, 9 deletions
diff --git a/src/toys/godel/index.html b/src/toys/godel/index.html index 678d56a..50a680a 100644 --- a/src/toys/godel/index.html +++ b/src/toys/godel/index.html @@ -10,15 +10,13 @@ <main> <article> <h3>Gödel Numbering</h3> - <p class="muted">"Compile" L into JS and explore the source Gödel encodings.</p> - <section> <div> <h4>L Source</h4> <div id="source-editor" class="code-editor-container mb-sm" aria-label="L source code"></div> <div> <button id="compile-btn" class="primary">Compile</button> - <button id="copy-btn">Copy Share Link</button> + <button id="copy-btn">Copy State Link</button> </div> <span id="compile-status" class="status-text muted"></span> </div> diff --git a/src/toys/godel/js/ui.js b/src/toys/godel/js/ui.js index 2952140..97e5209 100644 --- a/src/toys/godel/js/ui.js +++ b/src/toys/godel/js/ui.js @@ -139,17 +139,13 @@ export class GodelPlayground { this.latestSequence = godelSequence; this.setCompiled(js); this.renderSequence(godelSequence); - this.setStatus( - "compile", - `Compiled ${godelSequence.length} instruction${godelSequence.length === 1 ? "" : "s"}.`, - "success" - ); + this.setStatus("compile", "Successful compilation", "success"); this.elements.computeNumberBtn.disabled = godelSequence.length === 0; } catch (error) { this.latestSequence = []; this.renderSequence([]); this.elements.computeNumberBtn.disabled = true; - this.setStatus("compile", error.message || "Failed to compile program", "error"); + this.setStatus("compile", error.message || "Error compiling", "error"); } } |