From b269980bdc57a644edc7510615a1ecaccd2ae057 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Tue, 4 Nov 2025 05:49:36 +0100 Subject: added toplevel page --- lambda-calcul/haskell/public/index.html | 21 ++++++--------------- lambda-calcul/haskell/public/minilang.css | 25 +++++++++++++++++++++++++ lambda-calcul/haskell/public/repl.html | 29 +++++++++++++++++++++++++++++ 3 files changed, 60 insertions(+), 15 deletions(-) create mode 100644 lambda-calcul/haskell/public/repl.html (limited to 'lambda-calcul/haskell') 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 @@ -

λ-Calculus Terminal

-
- -
- -
+

λ-Calculus Playground

+
+ REPL + Leaderboard
-
-
- - -
-
-
- - + + diff --git a/lambda-calcul/haskell/public/minilang.css b/lambda-calcul/haskell/public/minilang.css index 5512efc..2c9e6a1 100644 --- a/lambda-calcul/haskell/public/minilang.css +++ b/lambda-calcul/haskell/public/minilang.css @@ -76,3 +76,28 @@ button#send { font-weight: bold; padding: 5px 10px 5px 10px; } + +h1 { + text-align: center; +} + +div.choice { + display: flex; + align-items: center; + justify-content: center; + flex: wrap; +} + +div.choice a { + display: inline-block; + height: 100px; + line-height: 100px; + text-align: center; + font-size: 2em; + text-decoration: none; + background-color: lightblue; + color: black; + margin: 1em; + border-radius: 10px; + flex: 2 1 250px;; +} diff --git a/lambda-calcul/haskell/public/repl.html b/lambda-calcul/haskell/public/repl.html new file mode 100644 index 0000000..85801d7 --- /dev/null +++ b/lambda-calcul/haskell/public/repl.html @@ -0,0 +1,29 @@ + + + + + Minilang + + + + + +

λ-Calculus Terminal

+
+ +
+ +
+
+
+
+ + +
+
+
+ + + -- cgit v1.3.1