summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/public
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-11-01 19:09:40 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2025-11-01 19:09:40 +0100
commit10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e (patch)
tree9cd221146543be64855700f957cbdc264f941a19 /lambda-calcul/haskell/public
parent2a20afb971ef3323955964b1bbb5f75af4ca5fcb (diff)
downloadlambda-nantes-10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e.tar.gz
Add tests for Net-based REPL
Diffstat (limited to 'lambda-calcul/haskell/public')
-rw-r--r--lambda-calcul/haskell/public/index.html3
-rw-r--r--lambda-calcul/haskell/public/minilang.css13
2 files changed, 14 insertions, 2 deletions
diff --git a/lambda-calcul/haskell/public/index.html b/lambda-calcul/haskell/public/index.html
index 2672e8d..500f298 100644
--- a/lambda-calcul/haskell/public/index.html
+++ b/lambda-calcul/haskell/public/index.html
@@ -3,13 +3,14 @@
<head>
<meta charset="UTF-8">
<title>Minilang</title>
- <link rel="stylesheet" href="minilang.css" >
+ <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>
diff --git a/lambda-calcul/haskell/public/minilang.css b/lambda-calcul/haskell/public/minilang.css
index 2e20838..5512efc 100644
--- a/lambda-calcul/haskell/public/minilang.css
+++ b/lambda-calcul/haskell/public/minilang.css
@@ -1,9 +1,10 @@
html {
font-family: Inconsolata, Courier;
+ background-color: #f0f0f0;
}
div#minilang {
- height: 90vh;
+ height: 85vh;
overflow-y: auto;
}
@@ -18,6 +19,8 @@ textarea#program {
height: 90%;
padding: 1em;
font-family: Inconsolata, Courier;
+ background-color: black;
+ color: white;
font-size: 12pt;
resize: none;
white-space: pre;
@@ -65,3 +68,11 @@ div.command {
vertical-align: middle;
height: 2em;
}
+
+button#send {
+ background-color: rgb(125, 207, 161);
+ border-radius: 5px;
+ font-size: 1em;
+ font-weight: bold;
+ padding: 5px 10px 5px 10px;
+}