website/index.html

<!doctype html>
<html lang="en">
<head>
<title>Grace browser</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="description" content="Live demo for the Fall-from-Grace functional programming language">
<meta name="twitter:card" content="summary" />
<meta name="twitter:title" content="Grace browser" />
<meta name="twitter:description" content="Live demo for the Fall-from-Grace functional programming language" />
<link rel="stylesheet" href="./css/bootstrap.min.css">
<link rel="stylesheet" href="./css/codemirror.css">
<link rel="stylesheet" href="./css/grace.css">
</head>
<body>
<div class="container">
<header>
<h1 class="display-4">Grace browser</h1>
</header>
<main>
<textarea style="display: none" id="input"></textarea>
<br/>
<button id="start-tutorial" type="button" class="btn btn-primary" style="display: none;">Try the tutorial</button>
<div id="output"></div>
<pre id="error"></pre>
</main>
</div>
</body>
<script language="javascript" src="js/codemirror.js"></script>
<script language="javascript" src="js/python.js"></script>
<script>
function replaceChildrenWorkaround(x, y) {
    x.replaceChildren(...y)
}
function deleteSearchParamWorkaround(x, y) {
    x.delete(y)
}
</script>
<script defer language="javascript" src="js/all.min.js"></script>
</html>