diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-04 05:49:36 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-04 05:49:36 +0100 |
| commit | b269980bdc57a644edc7510615a1ecaccd2ae057 (patch) | |
| tree | 7822b231428ea6ed15e9117ec7e10300b7bc4e1e /lambda-calcul/haskell/public/index.html | |
| parent | 94214ce9a82643a4fa2776ee972636a3d0539a54 (diff) | |
| download | lambda-nantes-b269980bdc57a644edc7510615a1ecaccd2ae057.tar.gz | |
added toplevel page
Diffstat (limited to 'lambda-calcul/haskell/public/index.html')
| -rw-r--r-- | lambda-calcul/haskell/public/index.html | 21 |
1 files changed, 6 insertions, 15 deletions
diff --git a/lambda-calcul/haskell/public/index.html b/lambda-calcul/haskell/public/index.html index 500f298..c893865 100644 --- a/lambda-calcul/haskell/public/index.html +++ b/lambda-calcul/haskell/public/index.html @@ -10,19 +10,10 @@ <link href="https://fonts.googleapis.com/css?family=Inconsolata&display=swap" rel="stylesheet"> </head> <body> - <h1>λ-Calculus Terminal</h1> - <div class="edit"> - <textarea id="program"></textarea> - <div> - <button id="send">Send</button> - </div> + <h1>λ-Calculus Playground</h1> + <div class="choice"> + <a href="repl.html">REPL</a> + <a href="leaderboard.html">Leaderboard</a> </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> + </body> +</html> |