diff options
Diffstat (limited to 'src/toys/godel/index.html')
| -rw-r--r-- | src/toys/godel/index.html | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/src/toys/godel/index.html b/src/toys/godel/index.html new file mode 100644 index 0000000..678d56a --- /dev/null +++ b/src/toys/godel/index.html @@ -0,0 +1,53 @@ +<!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> + <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> + </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> |