blob: 3329442937e0be7b4a697c40b1770f9db011e9f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
<!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 Playground</h1>
<div class="choice">
<a href="repl.html">REPL</a>
<a href="leaderboard.html">Leaderboard</a>
</div>
</body>
</html>
|
