3 files changed, 60 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>
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 @@
+<!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>
+    <h1>λ-Calculus Terminal</h1>
+    <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>