diff --git a/README.md b/README.md index 054dd59081..001557120f 100644 --- 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 deleted file mode 100644 index b452be6be6..0000000000 Binary files a/deploy-key.enc and /dev/null differ diff --git a/www/hazel.html b/www/hazel.html new file mode 100644 index 0000000000..2e0e490321 --- /dev/null +++ b/www/hazel.html @@ -0,0 +1,19 @@ + + +
+ + + + + +