Deploying to gh-pages from @ 0d3070e 🚀

rzk-lang · Aug 18, 2024 · 42a617a · 42a617a
commit 42a617a
Show file tree

Hide file tree

Showing 9,985 changed files with 12,429,085 additions and 0 deletions.
diff --git a/.nojekyll b/.nojekyll
diff --git a/android-chrome-192x192.png b/android-chrome-192x192.png
diff --git a/android-chrome-512x512.png b/android-chrome-512x512.png
diff --git a/apple-touch-icon.png b/apple-touch-icon.png
diff --git a/develop/playground/assets/index-22addc7d.js b/develop/playground/assets/index-22addc7d.js
diff --git a/develop/playground/assets/index-2b4f5f6d.css b/develop/playground/assets/index-2b4f5f6d.css
diff --git a/develop/playground/index.html b/develop/playground/index.html
@@ -0,0 +1,19 @@
+<!DOCTYPE html>
+<html lang="en">
+
+    <head>
+        <meta charset="UTF-8" />
+        <meta name="viewport"
+            content="width=device-width, initial-scale=1.0, maximum-scale=1.0, minimum-scale=1.0, user-scalable=no" />
+        <title>Try Rzk proof assistant!</title>
+      <script type="module" crossorigin src="/rzk/develop/playground/assets/index-22addc7d.js"></script>
+      <link rel="stylesheet" href="/rzk/develop/playground/assets/index-2b4f5f6d.css">
+    </head>
+
+    <body>
+        <script src='/rzk/develop/playground/rzk.js'> </script>
+        <div id="root"></div>
+
+    </body>
+
+</html>