Skip to content

Commit 0961ee3

Browse files
cyrus-cyrus-
committed
POPL 2019 artifact snapshot with pre-built Hazel included
1 parent 1443dde commit 0961ee3

File tree

5 files changed

+8672
-0
lines changed

5 files changed

+8672
-0
lines changed

‎README.md‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,9 @@ Hazel is a live functional programming environment rooted in the principles
44
of type theory. You can find the relevant papers and more motivation at
55
[the Hazel website](http://hazel.org/).
66

7+
## Pre-Built Snapshot
8+
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`.
9+
710
## Building Hazel
811
You can build Hazel using the following instructions.
912

‎deploy-key.enc‎

-3.17 KB
Binary file not shown.

‎www/hazel.html‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
<!DOCTYPE html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="utf-8">
5+
<meta http-equiv="X-UA-Compatible" content="IE=edge">
6+
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
7+
<!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags -->
8+
9+
<title>Hazel</title>
10+
11+
<link rel="stylesheet" href="style.css">
12+
</head>
13+
14+
<body spellcheck="false">
15+
<div class="container" id="container"></div>
16+
</body>
17+
18+
<script src="hazel.js"></script>
19+
</html>

0 commit comments

Comments
 (0)