blob: ee2423654779940282053e922397fbc19eea720e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
<!DOCTYPE HTML>
<html>
<head>
<meta charset="UTF-8">
<title>Minilang</title>
<meta name="viewport" content="width=device-width, initial-scale=1">
<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>
|
