Deploying to gh-pages from @ 1f77476 🚀

404.html

@@ -557,8 +557,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: October 19, 2024
-    at 09:20 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: October 20, 2024
+    at 06:44 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
     Juvix-Mkdocs.
   </div>
 

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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-19 21:20 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-20 6:44 UTC</pre></footer></html>

Juvix/Builtin/V1/Fixity-src.html

@@ -23,4 +23,4 @@
 
 <span class="ju-keyword">syntax</span> <span class="ju-keyword">fixity</span> <span class="ju-fixity"><span class="annot"><a href="https://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-19 21:20 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-20 6:44 UTC</pre></footer></html>

Juvix/Builtin/V1/List-src.html

@@ -11,4 +11,4 @@
     <span id="Juvix.Builtin.V1.List:2"><span class="annot"><a href="https://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-19 21:20 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-20 6:44 UTC</pre></footer></html>

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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-19 21:20 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-20 6:44 UTC</pre></footer></html>

Juvix/Builtin/V1/Nat-src.html

@@ -20,4 +20,4 @@
     <span id="Juvix.Builtin.V1.Nat:5"><span class="annot"><a href="https://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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:6"><span class="annot"><a href="https://github.com/anoma/juvix-mkdocs/Juvix/Builtin/V1/Nat-src.html#Juvix.Builtin.V1.Nat:6" class="ju-code-link ju-function"><span class="annot"><a href="https://github.com/anoma/juvix-mkdocs/Juvix/Builtin/V1/Nat-src.html#Juvix.Builtin.V1.Nat:6" 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://github.com/anoma/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>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-19 21:20 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-20 6:44 UTC</pre></footer></html>

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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-19 21:20 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-20 6:44 UTC</pre></footer></html>

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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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://github.com/anoma/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/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-19 21:20 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-20 6:44 UTC</pre></footer></html>