Skip to content

Commit

Permalink
Deploying to gh-pages from @ ab6fcde 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
Tara committed Oct 23, 2024
1 parent 6190a1a commit 337cb95
Show file tree
Hide file tree
Showing 75 changed files with 84 additions and 84 deletions.
4 changes: 2 additions & 2 deletions 404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 22, 2024
at 05:08 AM 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 23, 2024
at 04:17 AM 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="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:1" class="ju-code-link ju-inductive"><span class="annot"><a href="/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="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:2" class="ju-code-link ju-constructor"><span class="annot"><a href="/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="/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:3" class="ju-code-link ju-constructor"><span class="annot"><a href="/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-22 5:08 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-23 4:17 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 @@ -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="/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="/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="/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="/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-22 5:08 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-23 4:17 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="/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:2" class="ju-code-link ju-constructor"><span class="annot"><a href="/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="/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:3" class="ju-code-link ju-constructor"><span class="annot"><a href="/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="/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="/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="/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-22 5:08 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-23 4:17 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="/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:1" class="ju-code-link ju-inductive"><span class="annot"><a href="/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="/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:4" class="ju-code-link ju-var"><span class="annot"><a href="/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="/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:2" class="ju-code-link ju-constructor"><span class="annot"><a href="/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="/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:3" class="ju-code-link ju-constructor"><span class="annot"><a href="/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="/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-22 5:08 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-23 4:17 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:5"><span class="annot"><a href="/Juvix/Builtin/V1/Nat-src.html#Juvix.Builtin.V1.Nat:5" class="ju-code-link ju-function"><span class="annot"><a href="/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="/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="/Juvix/Builtin/V1/Nat-src.html#Juvix.Builtin.V1.Nat:6" class="ju-code-link ju-function"><span class="annot"><a href="/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="/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-22 5:08 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-23 4:17 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="/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="/Juvix/Builtin/V1/Nat/Base-src.html#Juvix.Builtin.V1.Nat.Base:10" class="ju-code-link ju-function"><span class="annot"><a href="/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="/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="/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="/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="/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="/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="/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="/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="/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="/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="/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="/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-22 5:08 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-23 4:17 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="/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="/Juvix/Builtin/V1/String-src.html#Juvix.Builtin.V1.String:2" class="ju-code-link ju-function"><span class="annot"><a href="/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="/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="/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="/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-22 5:08 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-23 4:17 UTC</pre></footer></html>
2 changes: 1 addition & 1 deletion Juvix/Builtin/V1/Trait/FromNatural-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.Trait.FromNatural:1"><span class="annot"><a href="/Juvix/Builtin/V1/Trait/FromNatural-src.html#Juvix.Builtin.V1.Trait.FromNatural:1" class="ju-code-link ju-inductive"><span class="annot"><a href="/Juvix/Builtin/V1/Trait/FromNatural-src.html#Juvix.Builtin.V1.Trait.FromNatural:1" class="ju-code-link ju-inductive"><span class="ju-inductive">FromNatural</span></a></span></a></span></span> <span id="Juvix.Builtin.V1.Trait.FromNatural:3"><span class="annot"><a href="/Juvix/Builtin/V1/Trait/FromNatural-src.html#Juvix.Builtin.V1.Trait.FromNatural:3" class="ju-code-link ju-var"><span class="annot"><a href="/Juvix/Builtin/V1/Trait/FromNatural-src.html#Juvix.Builtin.V1.Trait.FromNatural:3" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span></a></span></span> <span class="ju-keyword">:=</span> <span id="Juvix.Builtin.V1.Trait.FromNatural:2"><span class="annot"><a href="/Juvix/Builtin/V1/Trait/FromNatural-src.html#Juvix.Builtin.V1.Trait.FromNatural:2" class="ju-code-link ju-constructor"><span class="annot"><a href="/Juvix/Builtin/V1/Trait/FromNatural-src.html#Juvix.Builtin.V1.Trait.FromNatural:2" class="ju-code-link ju-constructor"><span class="ju-constructor">mkFromNatural</span></a></span></a></span></span> <span class="ju-delimiter">{</span><span class="ju-keyword">builtin</span> <span class="ju-keyword">from-nat</span> <span class="annot"><a href="/Juvix/Builtin/V1/Trait/FromNatural-src.html#Juvix.Builtin.V1.Trait.FromNatural:4" class="ju-code-link ju-var"><span class="ju-var">fromNat</span></a></span> <span class="ju-keyword">:</span> <span class="annot"><a href="/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">-&gt;</span> <span class="annot"><a href="/Juvix/Builtin/V1/Trait/FromNatural-src.html#Juvix.Builtin.V1.Trait.FromNatural:3" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">}</span><span class="ju-delimiter">;</span>

<span class="ju-keyword">open</span> <span class="annot"><a href="/Juvix/Builtin/V1/Trait/FromNatural-src.html#Juvix.Builtin.V1.Trait.FromNatural:6" class="ju-code-link ju-module"><span class="ju-module">FromNatural</span></a></span> <span class="ju-keyword">public</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-22 5:08 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-23 4:17 UTC</pre></footer></html>
2 changes: 1 addition & 1 deletion Juvix/Builtin/V1/Trait/Natural-src.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,4 +18,4 @@
<span class="ju-delimiter">}</span><span class="ju-delimiter">;</span>

<span class="ju-keyword">open</span> <span class="annot"><a href="/Juvix/Builtin/V1/Trait/Natural-src.html#Juvix.Builtin.V1.Trait.Natural:10" class="ju-code-link ju-module"><span class="ju-module">Natural</span></a></span> <span class="ju-keyword">public</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-22 5:08 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-23 4:17 UTC</pre></footer></html>
Loading

0 comments on commit 337cb95

Please sign in to comment.