Deploying to gh-pages from @ c41bb44 🚀

savonet · Jan 7, 2024 · f992b97 · f992b97
1 parent 135e329
commit f992b97
Show file tree

Hide file tree

Showing 16 changed files with 1,022 additions and 183 deletions.
diff --git a/cry/Cry/index.html b/cry/Cry/index.html
diff --git a/cry/index.html b/cry/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (cry.index)</title><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – cry</nav><header class="odoc-preamble"><h1 id="cry-index"><a href="#cry-index" class="anchor"></a>cry index</h1></header><nav class="odoc-toc"><ul><li><a href="#library-cry">Library cry</a></li></ul></nav><div class="odoc-content"><h2 id="library-cry"><a href="#library-cry" class="anchor"></a>Library cry</h2><p>The entry point of this library is the module: <a href="Cry/index.html"><code>Cry</code></a>.</p></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (cry.index)</title><meta charset="utf-8"/><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – cry</nav><header class="odoc-preamble"><h1 id="cry-index"><a href="#cry-index" class="anchor"></a>cry index</h1></header><nav class="odoc-toc"><ul><li><a href="#library-cry">Library cry</a></li></ul></nav><div class="odoc-content"><h2 id="library-cry"><a href="#library-cry" class="anchor"></a>Library cry</h2><p>The entry point of this library is the module: <a href="Cry/index.html"><code>Cry</code></a>.</p></div></body></html>
diff --git a/odoc.support/fonts/fira-mono-v14-latin-500.woff2 b/odoc.support/fonts/fira-mono-v14-latin-500.woff2
diff --git a/odoc.support/fonts/fira-mono-v14-latin-regular.woff2 b/odoc.support/fonts/fira-mono-v14-latin-regular.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-500.woff2 b/odoc.support/fonts/fira-sans-v17-latin-500.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-500italic.woff2 b/odoc.support/fonts/fira-sans-v17-latin-500italic.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-700.woff2 b/odoc.support/fonts/fira-sans-v17-latin-700.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-700italic.woff2 b/odoc.support/fonts/fira-sans-v17-latin-700italic.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-italic.woff2 b/odoc.support/fonts/fira-sans-v17-latin-italic.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-regular.woff2 b/odoc.support/fonts/fira-sans-v17-latin-regular.woff2
diff --git a/odoc.support/fonts/noticia-text-v15-latin-700.woff2 b/odoc.support/fonts/noticia-text-v15-latin-700.woff2
diff --git a/odoc.support/fonts/noticia-text-v15-latin-italic.woff2 b/odoc.support/fonts/noticia-text-v15-latin-italic.woff2
diff --git a/odoc.support/fonts/noticia-text-v15-latin-regular.woff2 b/odoc.support/fonts/noticia-text-v15-latin-regular.woff2
diff --git a/odoc.support/highlight.pack.js b/odoc.support/highlight.pack.js