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 /html/toys/godel/index.html | |
| parent | ab0ddcaeb1fc37351d14b89100e07d3a343ba9e1 (diff) | |
| download | lizdotcoffee-94b912b649150b9863a62096ba4740b2cc8ad21a.tar.gz lizdotcoffee-94b912b649150b9863a62096ba4740b2cc8ad21a.zip | |
Factor
Diffstat (limited to 'html/toys/godel/index.html')
| -rw-r--r-- | html/toys/godel/index.html | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/html/toys/godel/index.html b/html/toys/godel/index.html new file mode 100644 index 0000000..50a680a --- /dev/null +++ b/html/toys/godel/index.html @@ -0,0 +1,51 @@ +<!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> |