diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-01 17:45:25 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-01 17:45:25 +0100 |
| commit | 2a20afb971ef3323955964b1bbb5f75af4ca5fcb (patch) | |
| tree | 575b3ef097729846ac09e18e2d579ae0577accd8 /lambda-calcul/haskell/public/index.html | |
| parent | 1d1f0efc7de1eaa0c8a6b503892c2f950008fde6 (diff) | |
| download | lambda-nantes-2a20afb971ef3323955964b1bbb5f75af4ca5fcb.tar.gz | |
Add server capability
Diffstat (limited to 'lambda-calcul/haskell/public/index.html')
| -rw-r--r-- | lambda-calcul/haskell/public/index.html | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/public/index.html b/lambda-calcul/haskell/public/index.html new file mode 100644 index 0000000..2672e8d --- /dev/null +++ b/lambda-calcul/haskell/public/index.html @@ -0,0 +1,27 @@ +<!DOCTYPE HTML> +<html> + <head> + <meta charset="UTF-8"> + <title>Minilang</title> + <link rel="stylesheet" href="minilang.css" > + <link rel="icon" + type="image/png" + href="/pi.png"> + <link href="https://fonts.googleapis.com/css?family=Inconsolata&display=swap" rel="stylesheet"> + </head> + <body> + <div class="edit"> + <textarea id="program"></textarea> + <div> + <button id="send">Send</button> + </div> + </div> + <div id="repl"> + <div class="command"> + <input id="command" class="disconnected" /> + <img id="connect" src="images/connect.png" /> + </div> + <div id="minilang"></div> + </div> + <script src="repl.js"></script> +</body></html> |