diff options
| author | Elizabeth Alexander Hunt <me@liz.coffee> | 2026-02-25 22:34:32 -0800 |
|---|---|---|
| committer | Elizabeth Alexander Hunt <me@liz.coffee> | 2026-02-25 22:34:32 -0800 |
| commit | c05a5a7e990e25b982396303f47f3473580dda24 (patch) | |
| tree | 7f4b08f389ce37f6bbeb976b6907799da617520c /src/toys/godel/index.html | |
| parent | ff0c75d52eec175374430347b3c11594c322e104 (diff) | |
| download | lizdotcoffee-c05a5a7e990e25b982396303f47f3473580dda24.tar.gz lizdotcoffee-c05a5a7e990e25b982396303f47f3473580dda24.zip | |
Minor string updates
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> |