diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/index.html b/index.html new file mode 100644 index 0000000..c186f6c --- /dev/null +++ b/index.html @@ -0,0 +1,49 @@ +<!doctype html> +<html> + <head> + <meta charset="UTF-8" /> + <meta name="viewport" content="width=device-width" /> + <title>Lambda Screen</title> + <link rel="stylesheet" href="style.css" type="text/css" media="all" /> + </head> + <body> + <main> + <canvas height="800" width="800" id="canvas"></canvas> + <div> + <div class="inputWrap"> + Reduction mode: + <select id="reductionMode"> + <option value="auto" selected>Reduce to normal form</option> + <option value="slider">Reduce by sliding</option> + <option value="click">Reduce by clicking</option> + </select> + </div> + <input type="range" min="0" max="20" value="0" id="slider" /> + </div> + <div> + <div class="inputWrap"> + Load preset: + <select id="examples"> + <option value="" selected disabled hidden></option> + <option value="\0">Identity</option> + <option value="\\((((0 \\0) \\0) \\0) \\0)">Just black</option> + <option + value="\(0 \\\\\((((0 \\((6 0) 1)) \\((5 0) 1)) \\((4 0) 1)) \\((3 0) 1)))" + > + Invert + </option> + </select> + </div> + <input + type="text" + placeholder="e.g. \(0...) or 000110... (BLC)" + value="" + name="term" + id="term" + /> + </div> + <button id="render">Render!</button> + </main> + <script src="script.js"></script> + </body> +</html> |