Skip to content

Commit

Permalink
Deploying to gh-pages from @ 9e23b20 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
Tara committed Nov 26, 2024
1 parent 14b99d0 commit 9ef3b2e
Show file tree
Hide file tree
Showing 83 changed files with 83 additions and 83 deletions.
2 changes: 1 addition & 1 deletion 404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -848,7 +848,7 @@ <h1>404 - Not found</h1>

<div class="md-copyright__highlight">
&copy; 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: November 26, 2024
at 08:53 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 09:06 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>

Expand Down
2 changes: 1 addition & 1 deletion Juvix/Builtin/V1/Bool-src.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 20: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-11-26 21:06 UTC</pre></footer></html>
2 changes: 1 addition & 1 deletion Juvix/Builtin/V1/Fixity-src.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 20: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-11-26 21:06 UTC</pre></footer></html>
2 changes: 1 addition & 1 deletion Juvix/Builtin/V1/List-src.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 20: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-11-26 21:06 UTC</pre></footer></html>
2 changes: 1 addition & 1 deletion Juvix/Builtin/V1/Maybe-src.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 20: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-11-26 21:06 UTC</pre></footer></html>
2 changes: 1 addition & 1 deletion Juvix/Builtin/V1/Nat-src.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 20: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-11-26 21:06 UTC</pre></footer></html>
2 changes: 1 addition & 1 deletion Juvix/Builtin/V1/Nat/Base-src.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 20: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-11-26 21:06 UTC</pre></footer></html>
2 changes: 1 addition & 1 deletion Juvix/Builtin/V1/String-src.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 20: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-11-26 21:06 UTC</pre></footer></html>
Loading

0 comments on commit 9ef3b2e

Please sign in to comment.