deploy: 84a5a9b

neohaskell · Nov 3, 2023 · 32d900e · 32d900e
1 parent 7175924
commit 32d900e
Show file tree

Hide file tree

Showing 34 changed files with 73 additions and 73 deletions.
diff --git a/404.html b/404.html
@@ -10,13 +10,13 @@
 
 
 <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" integrity="sha384-odtC+0UGzzFL/6PNoE8rX/SPcQDXBJ+uRepguP4QkPCm2LBxH3FA3y+fKSiJ+AmM" crossorigin="anonymous"><link rel="stylesheet" href="/assets/css/styles.2aabc229.css">
-<link rel="preload" href="/assets/js/runtime~main.d8cb77b7.js" as="script">
+<link rel="preload" href="/assets/js/runtime~main.d135f9fa.js" as="script">
 <link rel="preload" href="/assets/js/main.2e275340.js" as="script">
 </head>
 <body class="navigation-with-keyboard">
 <script>!function(){function t(t){document.documentElement.setAttribute("data-theme",t)}var e=function(){var t=null;try{t=new URLSearchParams(window.location.search).get("docusaurus-theme")}catch(t){}return t}()||function(){var t=null;try{t=localStorage.getItem("theme")}catch(t){}return t}();t(null!==e?e:"light")}()</script><div id="__docusaurus">
 <div role="region" aria-label="Skip to main content"><a class="skipToContent_fXgn" href="#__docusaurus_skipToContent_fallback">Skip to main content</a></div><nav aria-label="Main" class="navbar navbar--fixed-top"><div class="navbar__inner"><div class="navbar__items"><button aria-label="Toggle navigation bar" aria-expanded="false" class="navbar__toggle clean-btn" type="button"><svg width="30" height="30" viewBox="0 0 30 30" aria-hidden="true"><path stroke="currentColor" stroke-linecap="round" stroke-miterlimit="10" stroke-width="2" d="M4 7h22M4 15h22M4 23h22"></path></svg></button><a class="navbar__brand" href="/"><div class="navbar__logo"><img src="/img/logo.svg" alt="NeoHaskell Logo" class="themedImage_ToTc themedImage--light_HNdA"><img src="/img/logo.svg" alt="NeoHaskell Logo" class="themedImage_ToTc themedImage--dark_i4oU"></div><b class="navbar__title text--truncate">NeoHaskell</b></a><a class="navbar__item navbar__link" href="/docs/docs-intro/">Documentation</a><a class="navbar__item navbar__link" href="/blog">Evolution Proposals</a></div><div class="navbar__items navbar__items--right"><a href="https://github.com/neohaskell/" target="_blank" rel="noopener noreferrer" class="navbar__item navbar__link">GitHub<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a><a href="https://discord.com/invite/wDj3UYzec8" target="_blank" rel="noopener noreferrer" class="navbar__item navbar__link">Discord<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a><div class="searchBox_ZlJk"></div></div></div><div role="presentation" class="navbar-sidebar__backdrop"></div></nav><div id="__docusaurus_skipToContent_fallback" class="main-wrapper mainWrapper_z2l0"><main class="container margin-vert--xl"><div class="row"><div class="col col--6 col--offset-3"><h1 class="hero__title">Page Not Found</h1><p>We could not find what you were looking for.</p><p>Please contact the owner of the site that linked you to the original URL and let them know their link is broken.</p></div></div></main></div><footer class="footer footer--dark"><div class="container container-fluid"><div class="row footer__links"><div class="col footer__col"><div class="footer__title">Docs</div><ul class="footer__items clean-list"><li class="footer__item"><a class="footer__link-item" href="/docs/docs-intro">Get Started</a></li></ul></div><div class="col footer__col"><div class="footer__title">Community</div><ul class="footer__items clean-list"><li class="footer__item"><a href="https://discord.com/invite/wDj3UYzec8" target="_blank" rel="noopener noreferrer" class="footer__link-item">Discord<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li><li class="footer__item"><a href="https://twitter.com/neohaskell" target="_blank" rel="noopener noreferrer" class="footer__link-item">Twitter<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li></ul></div><div class="col footer__col"><div class="footer__title">More</div><ul class="footer__items clean-list"><li class="footer__item"><a href="https://github.com/neohaskell" target="_blank" rel="noopener noreferrer" class="footer__link-item">GitHub<svg width="13.5" height="13.5" aria-hidden="true" viewBox="0 0 24 24" class="iconExternalLink_nPIU"><path fill="currentColor" d="M21 13v10h-21v-19h12v2h-10v15h17v-8h2zm3-12h-10.988l4.035 4-6.977 7.07 2.828 2.828 6.977-7.07 4.125 4.172v-11z"></path></svg></a></li></ul></div></div><div class="footer__bottom text--center"><div class="footer__copyright">Copyright © 2023 NeoHaskell contributors</div></div></div></footer></div>
-<script src="/assets/js/runtime~main.d8cb77b7.js"></script>
+<script src="/assets/js/runtime~main.d135f9fa.js"></script>
 <script src="/assets/js/main.2e275340.js"></script>
 </body>
 </html>
diff --git a/assets/js/75f4f5e9.b832dff5.js → assets/js/75f4f5e9.03f47b32.js b/assets/js/75f4f5e9.b832dff5.js → assets/js/75f4f5e9.03f47b32.js
diff --git a/assets/js/935f2afb.2e7beb8a.js b/assets/js/935f2afb.2e7beb8a.js
diff --git a/assets/js/935f2afb.b334f709.js b/assets/js/935f2afb.b334f709.js
diff --git a/assets/js/9f2b9aaa.0ff5220e.js b/assets/js/9f2b9aaa.0ff5220e.js
diff --git a/assets/js/9f2b9aaa.4c7b52e8.js b/assets/js/9f2b9aaa.4c7b52e8.js
diff --git a/assets/js/d0609b9f.0a827d4f.js b/assets/js/d0609b9f.0a827d4f.js
diff --git a/assets/js/d0609b9f.5f50e1eb.js b/assets/js/d0609b9f.5f50e1eb.js