GitHub Actions Automated Deploy

aya-prover · Oct 3, 2024 · babfb9c · babfb9c
commit babfb9c
Show file tree

Hide file tree

Showing 91 changed files with 2,033 additions and 0 deletions.
diff --git a/404.html b/404.html
@@ -0,0 +1,24 @@
+<!DOCTYPE html>
+<html lang="en-US" dir="ltr">
+  <head>
+    <meta charset="utf-8">
+    <meta name="viewport" content="width=device-width,initial-scale=1">
+    <title>404 | Aya Prover</title>
+    <meta name="description" content="Not Found">
+    <meta name="generator" content="VitePress v1.3.4">
+    <link rel="preload stylesheet" href="/assets/style.CZ1NuL7E.css" as="style">
+
+    <script type="module" src="/assets/app.CEkJpW4F.js"></script>
+    <link rel="preload" href="/assets/inter-roman-latin.Di8DUHzh.woff2" as="font" type="font/woff2" crossorigin="">
+    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" crossorigin="anonymous">
+    <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Merriweather:ital,wght@0,300;0,700;0,900;1,300;1,700&amp;display=swap">
+    <link rel="icon" href="/logo.svg">
+    <script id="check-dark-mode">(()=>{const e=localStorage.getItem("vitepress-theme-appearance")||"auto",a=window.matchMedia("(prefers-color-scheme: dark)").matches;(!e||e==="auto"?a:e==="dark")&&document.documentElement.classList.add("dark")})();</script>
+    <script id="check-mac-os">document.documentElement.classList.toggle("mac",/Mac|iPhone|iPod|iPad/i.test(navigator.platform));</script>
+  </head>
+  <body>
+    <div id="app"></div>
+    <script>window.__VP_HASH_MAP__=JSON.parse("{\"blog_binops.md\":\"BnuGOt04\",\"blog_bye-hott.md\":\"NGE4GKmU\",\"blog_class-defeq.md\":\"XvEV7HU1\",\"blog_extended-pruning.md\":\"CuhyEVbT\",\"blog_ind-prop.md\":\"BgOiB5U1\",\"blog_index-unification.md\":\"DR8rUZJu\",\"blog_index.md\":\"DR7jCmfM\",\"blog_lang-exts.md\":\"hyGXHWfR\",\"blog_path-elab.md\":\"DXdo4WbU\",\"blog_pathcon-elab.md\":\"CriMvQIQ\",\"blog_redirect.md\":\"Ch6PGAGu\",\"blog_tt-in-tt-qiit.md\":\"BjrgqciZ\",\"guide_fake-literate.md\":\"5HoY67ds\",\"guide_haskeller-tutorial.md\":\"GKsyNqV0\",\"guide_index.md\":\"Bb5oyrEG\",\"guide_install.md\":\"Cs_zw_W1\",\"guide_project-tutorial.md\":\"CaWZTWm8\",\"guide_prover-tutorial.md\":\"C3VZY-zt\",\"guide_readings.md\":\"DU4j-4Ox\",\"guide_vscode-tutorial.md\":\"Bwg1aD-U\",\"index.md\":\"ukG0WVuo\",\"pubs_index.md\":\"DjeH4wTt\"}");window.__VP_SITE_DATA__=JSON.parse("{\"lang\":\"en-US\",\"dir\":\"ltr\",\"title\":\"Aya Prover\",\"description\":\"A VitePress site\",\"base\":\"/\",\"head\":[],\"router\":{\"prefetchLinks\":true},\"appearance\":true,\"themeConfig\":{\"logo\":\"/logo.svg\",\"socialLinks\":[{\"icon\":\"github\",\"link\":\"https://github.com/aya-prover\"}],\"editLink\":{\"pattern\":\"https://github.com/aya-prover/aya-prover-docs/tree/main/src/:path\",\"text\":\"Suggest changes to this page\"},\"nav\":[{\"text\":\"Guide\",\"link\":\"/guide/\"},{\"text\":\"Publications\",\"link\":\"/pubs/\"},{\"text\":\"Blog\",\"link\":\"/blog/\"}],\"search\":{\"provider\":\"local\"},\"sidebar\":[{\"text\":\"Blog\",\"items\":[{\"text\":\"TT in TT using QIIT\",\"link\":\"/blog/tt-in-tt-qiit\"},{\"text\":\"Extended Pruning\",\"link\":\"/blog/extended-pruning\"},{\"text\":\"Farewell, Univalence\",\"link\":\"/blog/bye-hott\"},{\"text\":\"Impredicative Props\",\"link\":\"/blog/ind-prop\"},{\"text\":\"Def. projection in classes\",\"link\":\"/blog/class-defeq\"},{\"text\":\"Path cons. elaboration\",\"link\":\"/blog/pathcon-elab\"},{\"text\":\"Path type elaboration\",\"link\":\"/blog/path-elab\"},{\"text\":\"Binary operators\",\"link\":\"/blog/binops\"},{\"text\":\"Index unification\",\"link\":\"/blog/index-unification\"},{\"text\":\"Language extensions?\",\"link\":\"/blog/lang-exts\"}]},{\"text\":\"Guide\",\"items\":[{\"text\":\"Get Started\",\"link\":\"/guide/\"},{\"text\":\"Install\",\"link\":\"/guide/install\"},{\"text\":\"Functional Programming\",\"link\":\"/guide/haskeller-tutorial\"},{\"text\":\"Theorem Proving\",\"link\":\"/guide/prover-tutorial\"},{\"text\":\"Aya packages\",\"link\":\"/guide/project-tutorial\"},{\"text\":\"VSCode\",\"link\":\"/guide/vscode-tutorial\"},{\"text\":\"Related papers\",\"link\":\"/guide/readings\"},{\"text\":\"Fake literate mode\",\"link\":\"/guide/fake-literate\"}]}]},\"locales\":{},\"scrollOffset\":134,\"cleanUrls\":false}");</script>
+
+  </body>
+</html>
diff --git a/CNAME b/CNAME
@@ -0,0 +1 @@
+www.aya-prover.org
diff --git a/assets/app.CEkJpW4F.js b/assets/app.CEkJpW4F.js
diff --git a/assets/blog_binops.md.BnuGOt04.js b/assets/blog_binops.md.BnuGOt04.js
diff --git a/assets/blog_binops.md.BnuGOt04.lean.js b/assets/blog_binops.md.BnuGOt04.lean.js
diff --git a/assets/blog_bye-hott.md.NGE4GKmU.js b/assets/blog_bye-hott.md.NGE4GKmU.js