Deploy website - based on 5158606

formal-land · Nov 26, 2023 · ea219cb · ea219cb
1 parent 6b44cc9
commit ea219cb
Show file tree

Hide file tree

Showing 74 changed files with 137 additions and 137 deletions.
diff --git a/404.html b/404.html
@@ -10,7 +10,7 @@
 <link rel="preconnect" href="https://www.googletagmanager.com">
 <script async src="https://www.googletagmanager.com/gtag/js?id=G-MQLHF4EV4J"></script>
 <script>function gtag(){dataLayer.push(arguments)}window.dataLayer=window.dataLayer||[],gtag("js",new Date),gtag("config","G-MQLHF4EV4J",{anonymize_ip:!0})</script><title data-react-helmet="true">Page Not Found | Formal Land</title><meta data-react-helmet="true" property="og:title" content="Page Not Found | Formal Land"><meta data-react-helmet="true" name="twitter:card" content="summary_large_image"><meta data-react-helmet="true" property="og:image" content="https://formal.land/img/land-512.png"><meta data-react-helmet="true" name="twitter:image" content="https://formal.land/img/land-512.png"><meta data-react-helmet="true" property="og:url" content="https://formal.land/404.html"><meta data-react-helmet="true" name="docusaurus_locale" content="en"><meta data-react-helmet="true" name="docusaurus_tag" content="default"><link data-react-helmet="true" rel="icon" href="/img/land-512.png"><link data-react-helmet="true" rel="canonical" href="https://formal.land/404.html"><link data-react-helmet="true" rel="alternate" href="https://formal.land/404.html" hreflang="en"><link data-react-helmet="true" rel="alternate" href="https://formal.land/404.html" hreflang="x-default"><link rel="stylesheet" href="/assets/css/styles.cc776f64.css">
-<link rel="preload" href="/assets/js/runtime~main.a1ae568e.js" as="script">
+<link rel="preload" href="/assets/js/runtime~main.6600a30c.js" as="script">
 <link rel="preload" href="/assets/js/main.1438b126.js" as="script">
 </head>
 <body>
@@ -19,7 +19,7 @@
 <script>window.__lc=window.__lc||{},window.__lc.license=14938650,function(n,t,c){function i(n){return e._h?e._h.apply(null,n):e._q.push(n)}var e={_q:[],_h:null,_v:"2.0",on:function(){i(["on",c.call(arguments)])},once:function(){i(["once",c.call(arguments)])},off:function(){i(["off",c.call(arguments)])},get:function(){if(!e._h)throw new Error("[LiveChatWidget] You can't use getters before load.");return i(["get",c.call(arguments)])},call:function(){i(["call",c.call(arguments)])},init:function(){var n=t.createElement("script");n.async=!0,n.type="text/javascript",n.src="https://cdn.livechatinc.com/tracking.js",t.head.appendChild(n)}};!n.__lc.asyncInit&&e.init(),n.LiveChatWidget=n.LiveChatWidget||e}(window,document,[].slice)</script>
 <noscript><a href="https://www.livechat.com/chat-with/14938650/" rel="nofollow">Chat with us</a>, powered by <a href="https://www.livechat.com/?welcome" rel="noopener nofollow" target="_blank">LiveChat</a></noscript>
 <!-- End of LiveChat code --></div></div></div></footer></div>
-<script src="/assets/js/runtime~main.a1ae568e.js"></script>
+<script src="/assets/js/runtime~main.6600a30c.js"></script>
 <script src="/assets/js/main.1438b126.js"></script>
 </body>
 </html>
diff --git a/assets/images/rust_and_coq-24841df3c1f402ea1ff783770d999040.png b/assets/images/rust_and_coq-24841df3c1f402ea1ff783770d999040.png
diff --git a/assets/js/36f6f17a.4ef20fe6.js → assets/js/36f6f17a.f6cb95b5.js b/assets/js/36f6f17a.4ef20fe6.js → assets/js/36f6f17a.f6cb95b5.js
diff --git a/assets/js/ae7616e5.20bb16f4.js b/assets/js/ae7616e5.20bb16f4.js
diff --git a/assets/js/ae7616e5.82c031b9.js b/assets/js/ae7616e5.82c031b9.js
diff --git a/assets/js/b2f554cd.da714799.js b/assets/js/b2f554cd.da714799.js
diff --git a/assets/js/b2f554cd.e0f7f235.js b/assets/js/b2f554cd.e0f7f235.js