summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/public/index.html
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/index.html
parent2a20afb971ef3323955964b1bbb5f75af4ca5fcb (diff)
downloadlambda-nantes-10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e.tar.gz
Add tests for Net-based REPL
Diffstat (limited to 'lambda-calcul/haskell/public/index.html')
-rw-r--r--lambda-calcul/haskell/public/index.html3
1 files changed, 2 insertions, 1 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>