POPL 2019 artifact snapshot with pre-built Hazel included

hazelgrove · Nov 15, 2018 · 0961ee3 · 0961ee3
1 parent 1443dde
commit 0961ee3
Show file tree

Hide file tree

Showing 5 changed files with 8,672 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -4,6 +4,9 @@ Hazel is a live functional programming environment rooted in the principles
 of type theory. You can find the relevant papers and more motivation at
 [the Hazel website](http://hazel.org/).
 
+## Pre-Built Snapshot
+For ease of use, this artifact contains a pre-built snapshot of Hazel in the `www` directory. Open your browser (tested with Chromium and Firefox) to `www/hazel.html`.
+
 ## Building Hazel
 You can build Hazel using the following instructions.
 

diff --git a/deploy-key.enc b/deploy-key.enc
diff --git a/www/hazel.html b/www/hazel.html
@@ -0,0 +1,19 @@
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8">
+    <meta http-equiv="X-UA-Compatible" content="IE=edge">
+    <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
+    <!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags -->
+
+    <title>Hazel</title>
+
+    <link rel="stylesheet" href="style.css">
+  </head>
+
+  <body spellcheck="false">
+    <div class="container" id="container"></div>
+  </body>
+
+  <script src="hazel.js"></script>
+</html>