Deploying to gh-pages from @ 4bea8e6 🚀

anoma · Dec 2, 2024 · 1c3b7ff · 1c3b7ff
1 parent d9b7986
commit 1c3b7ff
Show file tree

Hide file tree

Showing 86 changed files with 138 additions and 138 deletions.
diff --git a/404.html b/404.html
@@ -16,7 +16,7 @@
 
 
       <link rel="icon" href="/juvix-mkdocs/assets/logo.svg">
-      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.46">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.47">
 
 
 
@@ -847,8 +847,8 @@ <h1>404 - Not found</h1>
       <div class="md-copyright">
 
   <div class="md-copyright__highlight">
-    &copy; 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: November 26, 2024
-    at 09:53 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
+    &copy; 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 02, 2024
+    at 04:03 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
     Juvix-Mkdocs.
   </div>
 

diff --git a/Juvix/Builtin/V1/Bool-src.html b/Juvix/Builtin/V1/Bool-src.html
@@ -6,4 +6,4 @@
 <span class="ju-keyword">type</span> <span id="Juvix.Builtin.V1.Bool:1"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:1" class="ju-code-link ju-inductive"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Bool</span></a></span></a></span></span> <span class="ju-keyword">:=</span>
   <span class="ju-keyword">|</span> <span id="Juvix.Builtin.V1.Bool:2"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:2" class="ju-code-link ju-constructor"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:2" class="ju-code-link ju-constructor"><span class="ju-constructor">true</span></a></span></a></span></span>
   <span class="ju-keyword">|</span> <span id="Juvix.Builtin.V1.Bool:3"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:3" class="ju-code-link ju-constructor"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:3" class="ju-code-link ju-constructor"><span class="ju-constructor">false</span></a></span></a></span></span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-11-26 21:53 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-12-02 16:03 UTC</pre></footer></html>
diff --git a/Juvix/Builtin/V1/Fixity-src.html b/Juvix/Builtin/V1/Fixity-src.html
@@ -26,4 +26,4 @@
 
 <span class="ju-keyword">syntax</span> <span class="ju-keyword">fixity</span> <span class="ju-fixity"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Fixity-src.html#Juvix.Builtin.V1.Fixity:26" class="ju-code-link ju-fixity"><span class="ju-fixity">composition</span></a></span></span> <span class="ju-keyword">:=</span> binary <span class="ju-delimiter">{</span><span class="ju-keyword">assoc</span> <span class="ju-keyword">:=</span> right<span class="ju-delimiter">;</span> <span class="ju-keyword">above</span> <span class="ju-keyword">:=</span> <span class="ju-keyword">[</span><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Fixity-src.html#Juvix.Builtin.V1.Fixity:24" class="ju-code-link ju-fixity"><span class="ju-fixity">multiplicative</span></a></span><span class="ju-keyword">]</span><span class="ju-delimiter">}</span><span class="ju-delimiter">;</span>
 <span class="ju-keyword">syntax</span> <span class="ju-keyword">fixity</span> <span class="ju-fixity"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Fixity-src.html#Juvix.Builtin.V1.Fixity:28" class="ju-code-link ju-fixity"><span class="ju-fixity">lcomposition</span></a></span></span> <span class="ju-keyword">:=</span> binary <span class="ju-delimiter">{</span><span class="ju-keyword">assoc</span> <span class="ju-keyword">:=</span> left<span class="ju-delimiter">;</span> <span class="ju-keyword">above</span> <span class="ju-keyword">:=</span> <span class="ju-keyword">[</span><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Fixity-src.html#Juvix.Builtin.V1.Fixity:24" class="ju-code-link ju-fixity"><span class="ju-fixity">multiplicative</span></a></span><span class="ju-keyword">]</span><span class="ju-delimiter">}</span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-11-26 21:53 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-12-02 16:03 UTC</pre></footer></html>
diff --git a/Juvix/Builtin/V1/List-src.html b/Juvix/Builtin/V1/List-src.html
@@ -11,4 +11,4 @@
     <span id="Juvix.Builtin.V1.List:2"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:2" class="ju-code-link ju-constructor"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:2" class="ju-code-link ju-constructor"><span class="ju-constructor">nil</span></a></span></a></span></span>
   <span class="ju-keyword">|</span> <span class="ju-judoc">---</span> <span class="ju-judoc">An element followed by a list</span>
     <span id="Juvix.Builtin.V1.List:3"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:3" class="ju-code-link ju-constructor"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:3" class="ju-code-link ju-constructor"><span class="ju-constructor">::</span></a></span></a></span></span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:4" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:1" class="ju-code-link ju-inductive"><span class="ju-inductive"><span class="ju-delimiter">(</span>List</span></a></span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:4" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">)</span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-11-26 21:53 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-12-02 16:03 UTC</pre></footer></html>
diff --git a/Juvix/Builtin/V1/Maybe-src.html b/Juvix/Builtin/V1/Maybe-src.html
@@ -7,4 +7,4 @@
 <span class="ju-keyword">type</span> <span id="Juvix.Builtin.V1.Maybe:1"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:1" class="ju-code-link ju-inductive"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Maybe</span></a></span></a></span></span> <span id="Juvix.Builtin.V1.Maybe:4"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:4" class="ju-code-link ju-var"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:4" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span></a></span></span> <span class="ju-keyword">:=</span>
   <span class="ju-keyword">|</span> <span id="Juvix.Builtin.V1.Maybe:2"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:2" class="ju-code-link ju-constructor"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:2" class="ju-code-link ju-constructor"><span class="ju-constructor">nothing</span></a></span></a></span></span>
   <span class="ju-keyword">|</span> <span id="Juvix.Builtin.V1.Maybe:3"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:3" class="ju-code-link ju-constructor"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:3" class="ju-code-link ju-constructor"><span class="ju-constructor">just</span></a></span></a></span></span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:4" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-11-26 21:53 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-12-02 16:03 UTC</pre></footer></html>
diff --git a/Juvix/Builtin/V1/Nat-src.html b/Juvix/Builtin/V1/Nat-src.html
@@ -20,4 +20,4 @@
     <span id="Juvix.Builtin.V1.Nat:4"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat-src.html#Juvix.Builtin.V1.Nat:4" class="ju-code-link ju-function"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat-src.html#Juvix.Builtin.V1.Nat:4" class="ju-code-link ju-function"><span class="ju-function">+</span></a></span></a></span></span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:5" class="ju-code-link ju-function"><span class="ju-function"><span class="ju-delimiter">(</span>Nat<span class="ju-delimiter">.</span>+</span></a></span><span class="ju-delimiter">)</span><span class="ju-delimiter">;</span>
     <span id="Juvix.Builtin.V1.Nat:5"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat-src.html#Juvix.Builtin.V1.Nat:5" class="ju-code-link ju-function"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat-src.html#Juvix.Builtin.V1.Nat:5" class="ju-code-link ju-function"><span class="ju-function">*</span></a></span></a></span></span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:6" class="ju-code-link ju-function"><span class="ju-function"><span class="ju-delimiter">(</span>Nat<span class="ju-delimiter">.</span>*</span></a></span><span class="ju-delimiter">)</span><span class="ju-delimiter">;</span>
   <span class="ju-delimiter">}</span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-11-26 21:53 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-12-02 16:03 UTC</pre></footer></html>
diff --git a/Juvix/Builtin/V1/Nat/Base-src.html b/Juvix/Builtin/V1/Nat/Base-src.html
@@ -46,4 +46,4 @@
 <span class="ju-judoc">---</span> <span class="ju-judoc">Modulo for </span><span class="ju-judoc">;</span><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Nat</span></a></span><span class="ju-judoc">;</span><span class="ju-judoc">s.</span>
 <span class="ju-keyword">builtin</span> <span class="ju-keyword">nat-mod</span>
 <span id="Juvix.Builtin.V1.Nat.Base:10"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:10" class="ju-code-link ju-function"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:10" class="ju-code-link ju-function"><span class="ju-function">mod</span></a></span></a></span></span> <span class="ju-delimiter">(</span><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:23" class="ju-code-link ju-var"><span class="ju-var">n</span></a></span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:24" class="ju-code-link ju-var"><span class="ju-var">m</span></a></span> <span class="ju-keyword">:</span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Nat</span></a></span><span class="ju-delimiter">)</span> <span class="ju-keyword">:</span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Nat</span></a></span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:7" class="ju-code-link ju-function"><span class="ju-function">sub</span></a></span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:23" class="ju-code-link ju-var"><span class="ju-var">n</span></a></span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:9" class="ju-code-link ju-function"><span class="ju-function"><span class="ju-delimiter">(</span>div</span></a></span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:23" class="ju-code-link ju-var"><span class="ju-var">n</span></a></span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:24" class="ju-code-link ju-var"><span class="ju-var">m</span></a></span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:6" class="ju-code-link ju-function"><span class="ju-function">*</span></a></span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:24" class="ju-code-link ju-var"><span class="ju-var">m</span></a></span><span class="ju-delimiter">)</span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-11-26 21:53 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-12-02 16:03 UTC</pre></footer></html>
diff --git a/Juvix/Builtin/V1/String-src.html b/Juvix/Builtin/V1/String-src.html
@@ -11,4 +11,4 @@
 <span class="ju-judoc">---</span> <span class="ju-judoc">Concatenation of two </span><span class="ju-judoc">;</span><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/String-src.html#Juvix.Builtin.V1.String:1" class="ju-code-link ju-inductive"><span class="ju-axiom">String</span></a></span><span class="ju-judoc">;</span><span class="ju-judoc">s.</span>
 <span class="ju-keyword">builtin</span> <span class="ju-keyword">string-concat</span>
 <span class="ju-keyword">axiom</span> <span id="Juvix.Builtin.V1.String:2"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/String-src.html#Juvix.Builtin.V1.String:2" class="ju-code-link ju-function"><span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/String-src.html#Juvix.Builtin.V1.String:2" class="ju-code-link ju-function"><span class="ju-axiom">++str</span></a></span></a></span></span> <span class="ju-keyword">:</span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/String-src.html#Juvix.Builtin.V1.String:1" class="ju-code-link ju-inductive"><span class="ju-axiom">String</span></a></span> <span class="ju-keyword">-&gt;</span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/String-src.html#Juvix.Builtin.V1.String:1" class="ju-code-link ju-inductive"><span class="ju-axiom">String</span></a></span> <span class="ju-keyword">-&gt;</span> <span class="annot"><a href="https://anoma.github.io/juvix-mkdocs/Juvix/Builtin/V1/String-src.html#Juvix.Builtin.V1.String:1" class="ju-code-link ju-inductive"><span class="ju-axiom">String</span></a></span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-11-26 21:53 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/bebe3d1">0.6.8-bebe3d1</a></pre></footer><footer><pre>Last modified on 2024-12-02 16:03 UTC</pre></footer></html>