<!DOCTYPE html>
<head>
<meta charset="utf-8">
<title>Emmental</title>
</head>
<body>
<h1>Emmental</h1>
<p>(emmental.hs compiled to .js by <code>hastec</code>, running in HTML5 document)</p>
<div id="installation"></div>
<script src="../eg/examplePrograms.jsonp.js"></script>
<script src="hastec-io-launcher.js"></script>
<script src="emmental.js"></script>
<script>
launch({
container: document.getElementById('installation'),
initialOption: "hello.emmental"
});
</script>
</body>