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