diff options
| author | Elizabeth Alexander Hunt <me@liz.coffee> | 2026-07-05 12:42:44 -0700 |
|---|---|---|
| committer | Elizabeth Alexander Hunt <me@liz.coffee> | 2026-07-05 12:42:44 -0700 |
| commit | 94b912b649150b9863a62096ba4740b2cc8ad21a (patch) | |
| tree | 1882236fc980fa5946d3089a2f2e4670f3a70580 /src/toys/godel/index.html | |
| parent | ab0ddcaeb1fc37351d14b89100e07d3a343ba9e1 (diff) | |
| download | lizdotcoffee-94b912b649150b9863a62096ba4740b2cc8ad21a.tar.gz lizdotcoffee-94b912b649150b9863a62096ba4740b2cc8ad21a.zip | |
Factor
Diffstat (limited to 'src/toys/godel/index.html')
| -rw-r--r-- | src/toys/godel/index.html | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/src/toys/godel/index.html b/src/toys/godel/index.html deleted file mode 100644 index 50a680a..0000000 --- a/src/toys/godel/index.html +++ /dev/null @@ -1,51 +0,0 @@ -<!DOCTYPE html> -<html lang="en"> -<head> - <meta charset="UTF-8"> - <meta name="viewport" content="width=device-width, initial-scale=1.0"> - <link rel="stylesheet" href="https://adelie.liz.coffee/bundle.css"> - <title>Gödel Numbering</title> -</head> -<body> - <main> - <article> - <h3>Gödel Numbering</h3> - <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 State Link</button> - </div> - <span id="compile-status" class="status-text muted"></span> - </div> - </section> - - <section class="mt-sm"> - <div> - <h4>"Compiled" JS</h4> - <div id="compiled-editor" class="code-editor-container mb-sm" aria-label="Compiled JavaScript"></div> - <div class="button-group"> - <button id="eval-btn">Eval</button> - </div> - <span id="eval-status" class="status-text muted"></span> - </div> - </section> - - <section class="mt-sm"> - <h4>Gödel Sequence</h4> - <pre id="godel-sequence">Compile to view the Gödel sequence.</pre> - <div> - <button id="compute-godel-btn">Compute Gödel Number</button> - </div> - <pre id="godel-number"></pre> - </section> - </article> - </main> - - <script src="https://adelie.liz.coffee/bundle.js"></script> - <script src="https://adelie.liz.coffee/adelie-editor.js"></script> - <script type="module" src="./js/main.js"></script> -</body> -</html> |