Skip to content

Commit

Permalink
GitHub Actions Automated Deploy
Browse files Browse the repository at this point in the history
  • Loading branch information
owo-bot committed Mar 13, 2024
0 parents commit e7864c9
Show file tree
Hide file tree
Showing 88 changed files with 1,538 additions and 0 deletions.
24 changes: 24 additions & 0 deletions 404.html
Original file line number Diff line number Diff line change
@@ -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.0.0-rc.45">
<link rel="preload stylesheet" href="/assets/style.C5QGo5PE.css" as="style">

<script type="module" src="/assets/app.mcve67Zm.js"></script>
<link rel="preload" href="/assets/inter-roman-latin.Bu8hRsVA.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 class="Layout" data-v-09f48466><!--[--><!--]--><!--[--><span tabindex="-1" data-v-448eb6bb></span><a href="#VPContent" class="VPSkipLink visually-hidden" data-v-448eb6bb> Skip to content </a><!--]--><!----><header class="VPNav" data-v-09f48466 data-v-2960f73c><div class="VPNavBar" data-v-2960f73c data-v-239f150d><div class="wrapper" data-v-239f150d><div class="container" data-v-239f150d><div class="title" data-v-239f150d><div class="VPNavBarTitle" data-v-239f150d data-v-0210455f><a class="title" href="/" data-v-0210455f><!--[--><!--]--><!--[--><img class="VPImage logo" src="/logo.svg" alt data-v-4752cd67><!--]--><span data-v-0210455f>Aya Prover</span><!--[--><!--]--></a></div></div><div class="content" data-v-239f150d><div class="content-body" data-v-239f150d><!--[--><!--]--><div class="VPNavBarSearch search" data-v-239f150d><!--[--><!----><div id="local-search"><button type="button" class="DocSearch DocSearch-Button" aria-label="Search"><span class="DocSearch-Button-Container"><span class="vp-icon DocSearch-Search-Icon"></span><span class="DocSearch-Button-Placeholder">Search</span></span><span class="DocSearch-Button-Keys"><kbd class="DocSearch-Button-Key"></kbd><kbd class="DocSearch-Button-Key">K</kbd></span></button></div><!--]--></div><nav aria-labelledby="main-nav-aria-label" class="VPNavBarMenu menu" data-v-239f150d data-v-b470d34a><span id="main-nav-aria-label" class="visually-hidden" data-v-b470d34a>Main Navigation</span><!--[--><!--[--><a class="VPLink link VPNavBarMenuLink" href="/guide/" tabindex="0" data-v-b470d34a data-v-d67861b1><!--[--><span data-v-d67861b1>Guide</span><!--]--></a><!--]--><!--[--><a class="VPLink link VPNavBarMenuLink" href="/pubs/" tabindex="0" data-v-b470d34a data-v-d67861b1><!--[--><span data-v-d67861b1>Publications</span><!--]--></a><!--]--><!--[--><a class="VPLink link VPNavBarMenuLink" href="/blog/" tabindex="0" data-v-b470d34a data-v-d67861b1><!--[--><span data-v-d67861b1>Blog</span><!--]--></a><!--]--><!--]--></nav><!----><div class="VPNavBarAppearance appearance" data-v-239f150d data-v-6ec974a7><button class="VPSwitch VPSwitchAppearance" type="button" role="switch" title="Switch to dark theme" aria-checked="false" data-v-6ec974a7 data-v-5812f0ae data-v-e4367a8b><span class="check" data-v-e4367a8b><span class="icon" data-v-e4367a8b><!--[--><span class="vpi-sun sun" data-v-5812f0ae></span><span class="vpi-moon moon" data-v-5812f0ae></span><!--]--></span></span></button></div><div class="VPSocialLinks VPNavBarSocialLinks social-links" data-v-239f150d data-v-affd6941 data-v-ccefc130><!--[--><a class="VPSocialLink no-icon" href="https://github.com/aya-prover" aria-label="github" target="_blank" rel="noopener" data-v-ccefc130 data-v-ec01c528><span class="vpi-social-github" /></a><!--]--></div><div class="VPFlyout VPNavBarExtra extra" data-v-239f150d data-v-32102689 data-v-947a1321><button type="button" class="button" aria-haspopup="true" aria-expanded="false" aria-label="extra navigation" data-v-947a1321><span class="vpi-more-horizontal icon" data-v-947a1321></span></button><div class="menu" data-v-947a1321><div class="VPMenu" data-v-947a1321 data-v-7fe84da0><!----><!--[--><!--[--><!----><div class="group" data-v-32102689><div class="item appearance" data-v-32102689><p class="label" data-v-32102689>Appearance</p><div class="appearance-action" data-v-32102689><button class="VPSwitch VPSwitchAppearance" type="button" role="switch" title="Switch to dark theme" aria-checked="false" data-v-32102689 data-v-5812f0ae data-v-e4367a8b><span class="check" data-v-e4367a8b><span class="icon" data-v-e4367a8b><!--[--><span class="vpi-sun sun" data-v-5812f0ae></span><span class="vpi-moon moon" data-v-5812f0ae></span><!--]--></span></span></button></div></div></div><div class="group" data-v-32102689><div class="item social-links" data-v-32102689><div class="VPSocialLinks social-links-list" data-v-32102689 data-v-ccefc130><!--[--><a class="VPSocialLink no-icon" href="https://github.com/aya-prover" aria-label="github" target="_blank" rel="noopener" data-v-ccefc130 data-v-ec01c528><span class="vpi-social-github" /></a><!--]--></div></div></div><!--]--><!--]--></div></div></div><!--[--><!--]--><button type="button" class="VPNavBarHamburger hamburger" aria-label="mobile navigation" aria-expanded="false" aria-controls="VPNavScreen" data-v-239f150d data-v-4fc59892><span class="container" data-v-4fc59892><span class="top" data-v-4fc59892></span><span class="middle" data-v-4fc59892></span><span class="bottom" data-v-4fc59892></span></span></button></div></div></div></div><div class="divider" data-v-239f150d><div class="divider-line" data-v-239f150d></div></div></div><!----></header><div class="VPLocalNav empty fixed" data-v-09f48466 data-v-0161dced><div class="container" data-v-0161dced><!----><div class="VPLocalNavOutlineDropdown" style="--vp-vh:0px;" data-v-0161dced data-v-8512aa94><button data-v-8512aa94>Return to top</button><!----></div></div></div><!----><div class="VPContent" id="VPContent" data-v-09f48466 data-v-6ddd9cad><!--[--><div class="NotFound" data-v-6ddd9cad data-v-df132710><p class="code" data-v-df132710>404</p><h1 class="title" data-v-df132710>PAGE NOT FOUND</h1><div class="divider" data-v-df132710></div><blockquote class="quote" data-v-df132710>But if you don&#39;t change your direction, and if you keep looking, you may end up where you are heading.</blockquote><div class="action" data-v-df132710><a class="link" href="/" aria-label="go to home" data-v-df132710>Take me home</a></div></div><!--]--></div><!----><!--[--><!--]--></div></div>
<script>window.__VP_HASH_MAP__=JSON.parse("{\"guide_readings.md\":\"Byw32jfy\",\"guide_vscode-tutorial.md\":\"DuMjDvBQ\",\"pubs_index.md\":\"C4SnLdd2\",\"index.md\":\"CQUn-mTg\",\"blog_class-defeq.md\":\"Dt0vxF_F\",\"blog_binops.md\":\"QhWYedf9\",\"blog_index.md\":\"CvS-I1Y0\",\"blog_pathcon-elab.md\":\"Dylo130w\",\"blog_index-unification.md\":\"DQZSxjyh\",\"guide_index.md\":\"DjRqfDEJ\",\"guide_install.md\":\"DHw0Em5S\",\"guide_ext-types.md\":\"GEGCgbcq\",\"guide_haskeller-tutorial.md\":\"Cy7fs1dw\",\"guide_anqur-story.md\":\"D5RtRs96\",\"blog_bye-hott.md\":\"pqUukwAP\",\"blog_redirect.md\":\"DCmCdh1o\",\"blog_lang-exts.md\":\"C0Iq3esK\",\"blog_ind-prop.md\":\"DVjo8dd8\",\"blog_path-elab.md\":\"BUTSvrra\",\"guide_fake-literate.md\":\"BgWw6CYb\",\"guide_project-tutorial.md\":\"CWkes2mw\"}");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\":\"Inductive Props\",\"link\":\"/blog/ind-prop\"},{\"text\":\"Def. projection in classes\",\"link\":\"/blog/class-defeq\"},{\"text\":\"Path constructor 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\":\"Know Haskell?\",\"link\":\"/guide/haskeller-tutorial\"},{\"text\":\"Fake literate mode\",\"link\":\"/guide/fake-literate\"},{\"text\":\"Evolve story?\",\"link\":\"/guide/anqur-story\"},{\"text\":\"Extension types\",\"link\":\"/guide/ext-types\"},{\"text\":\"VSCode\",\"link\":\"/guide/vscode-tutorial\"},{\"text\":\"Aya packages\",\"link\":\"/guide/project-tutorial\"},{\"text\":\"Related papers\",\"link\":\"/guide/readings\"}]}]},\"locales\":{},\"scrollOffset\":134,\"cleanUrls\":false}");</script>

</body>
</html>
1 change: 1 addition & 0 deletions CNAME
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
www.aya-prover.org
7 changes: 7 additions & 0 deletions assets/app.mcve67Zm.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

12 changes: 12 additions & 0 deletions assets/blog_binops.md.QhWYedf9.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 1 addition & 0 deletions assets/blog_binops.md.QhWYedf9.lean.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit e7864c9

Please sign in to comment.