github-deploy-action-pattern-matching-base-adt-constr-on-scrut-typ

hazelgrove · Nov 22, 2023 · 43ad91a · 43ad91a
1 parent fc340a6
commit 43ad91a
Show file tree

Hide file tree

Showing 14 changed files with 87,188 additions and 0 deletions.
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/dune b/pattern-matching-base-adt-constr-on-scrut-typ/dune
@@ -0,0 +1,5 @@
+(rule
+ (copy ../main.bc.js hazel.js))
+
+(rule
+ (copy ../worker.bc.js worker.js))
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/fonts/FiraCode-Bold.woff2 b/pattern-matching-base-adt-constr-on-scrut-typ/fonts/FiraCode-Bold.woff2
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/fonts/FiraCode-Regular.woff2 b/pattern-matching-base-adt-constr-on-scrut-typ/fonts/FiraCode-Regular.woff2
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/fonts/HelveticaNeue-Bold.woff2 b/pattern-matching-base-adt-constr-on-scrut-typ/fonts/HelveticaNeue-Bold.woff2
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/fonts/HelveticaNeue-Regular.woff2 b/pattern-matching-base-adt-constr-on-scrut-typ/fonts/HelveticaNeue-Regular.woff2
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/fonts/SourceCodePro-Black.otf.woff2 b/pattern-matching-base-adt-constr-on-scrut-typ/fonts/SourceCodePro-Black.otf.woff2
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/fonts/SourceCodePro-Bold.otf.woff2 b/pattern-matching-base-adt-constr-on-scrut-typ/fonts/SourceCodePro-Bold.otf.woff2
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/fonts/SourceCodePro-Regular.otf.woff2 b/pattern-matching-base-adt-constr-on-scrut-typ/fonts/SourceCodePro-Regular.otf.woff2
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/hazel.js b/pattern-matching-base-adt-constr-on-scrut-typ/hazel.js
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/img/hazelnut.svg b/pattern-matching-base-adt-constr-on-scrut-typ/img/hazelnut.svg
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/img/loading.gif b/pattern-matching-base-adt-constr-on-scrut-typ/img/loading.gif
diff --git a/pattern-matching-base-adt-constr-on-scrut-typ/index.html b/pattern-matching-base-adt-constr-on-scrut-typ/index.html
@@ -0,0 +1,27 @@
+<!DOCTYPE html>
+<html lang="en" translate="no">
+  <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">
+    <link rel="icon" type="image/svg" href = "img/hazelnut.svg">
+  </head>
+
+  <body spellcheck="false">
+    <div id="container">
+      <div class="loading">
+        <div class="spinner">
+          <img width="100px" height="100px" src="img/loading.gif" />
+          <img class="spinner-nut" width="100px" height="100px" src="img/hazelnut.svg" />
+        </div>
+        loading
+      </div>
+    </div>
+  </body>
+
+  <script src="hazel.js"></script>
+</html>