diff options
Diffstat (limited to 'src/toys/godel/index.html')
| -rw-r--r-- | src/toys/godel/index.html | 4 |
1 files changed, 1 insertions, 3 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> |