Skip to content

Commit abc0f92

Browse files
paulcadmanpaulcadman
committed
deploy: 51ef600 
1 parent 0654a30 commit abc0f92

83 files changed

Lines changed: 83 additions & 83 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎Juvix.Builtin.V1.Bool-src.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,4 +8,4 @@
88
<span class="ju-keyword">|</span> <span id="Bool.true"><span class="annot"><a href="Juvix.Builtin.V1.Bool-src.html#Bool.true" class="ju-code-link ju-constructor"><span class="annot"><a href="Juvix.Builtin.V1.Bool-src.html#Bool.true" class="ju-code-link ju-constructor"><span class="ju-constructor">true</span></a></span></a></span></span><span class="ju-delimiter">;</span>
99

1010
<span class="ju-keyword">open</span> <span class="annot"><a href="Juvix.Builtin.V1.Bool-src.html#Bool" class="ju-code-link ju-module"><span class="ju-module">Bool</span></a></span> <span class="ju-keyword">using</span> <span class="ju-delimiter">{</span><span class="annot"><a href="Juvix.Builtin.V1.Bool-src.html#Bool.false" class="ju-code-link ju-constructor"><span class="ju-constructor">false</span></a></span><span class="ju-delimiter">;</span> <span class="annot"><a href="Juvix.Builtin.V1.Bool-src.html#Bool.true" class="ju-code-link ju-constructor"><span class="ju-constructor">true</span></a></span><span class="ju-delimiter">}</span> <span class="ju-keyword">public</span><span class="ju-delimiter">;</span>
11-
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-11 4:00 UTC</pre></footer></html>
11+
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-18 3:56 UTC</pre></footer></html>

‎Juvix.Builtin.V1.Fixity-src.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,4 +55,4 @@
5555
<span class="ju-keyword">assoc</span> <span class="ju-keyword">:=</span> left<span class="ju-delimiter">;</span>
5656
<span class="ju-keyword">above</span> <span class="ju-keyword">:=</span> <span class="ju-delimiter">[</span><span class="annot"><a href="Juvix.Builtin.V1.Fixity-src.html#multiplicative" class="ju-code-link ju-fixity"><span class="ju-fixity">multiplicative</span></a></span><span class="ju-delimiter">]</span><span class="ju-delimiter">;</span>
5757
<span class="ju-delimiter">}</span><span class="ju-delimiter">;</span>
58-
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-11 4:00 UTC</pre></footer></html>
58+
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-18 3:56 UTC</pre></footer></html>

‎Juvix.Builtin.V1.List-src.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,4 +14,4 @@
1414
<span id="List.::"><span class="annot"><a href="Juvix.Builtin.V1.List-src.html#List.::" class="ju-code-link ju-constructor"><span class="annot"><a href="Juvix.Builtin.V1.List-src.html#List.::" 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:5" 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#List" 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:5" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">)</span><span class="ju-delimiter">;</span>
1515

1616
<span class="ju-keyword">open</span> <span class="annot"><a href="Juvix.Builtin.V1.List-src.html#List" class="ju-code-link ju-module"><span class="ju-module">List</span></a></span> <span class="ju-keyword">using</span> <span class="ju-delimiter">{</span><span class="annot"><a href="Juvix.Builtin.V1.List-src.html#List.nil" class="ju-code-link ju-constructor"><span class="ju-constructor">nil</span></a></span><span class="ju-delimiter">;</span> <span class="annot"><a href="Juvix.Builtin.V1.List-src.html#List.::" class="ju-code-link ju-constructor"><span class="ju-constructor">::</span></a></span><span class="ju-delimiter">}</span> <span class="ju-keyword">public</span><span class="ju-delimiter">;</span>
17-
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-11 4:00 UTC</pre></footer></html>
17+
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-18 3:56 UTC</pre></footer></html>

‎Juvix.Builtin.V1.Maybe-src.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,4 +9,4 @@
99
<span class="ju-keyword">|</span> <span id="Maybe.just"><span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Maybe.just" class="ju-code-link ju-constructor"><span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Maybe.just" 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:5" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">;</span>
1010

1111
<span class="ju-keyword">open</span> <span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Maybe" class="ju-code-link ju-module"><span class="ju-module">Maybe</span></a></span> <span class="ju-keyword">using</span> <span class="ju-delimiter">{</span><span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Maybe.nothing" class="ju-code-link ju-constructor"><span class="ju-constructor">nothing</span></a></span><span class="ju-delimiter">;</span> <span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Maybe.just" class="ju-code-link ju-constructor"><span class="ju-constructor">just</span></a></span><span class="ju-delimiter">}</span> <span class="ju-keyword">public</span><span class="ju-delimiter">;</span>
12-
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-11 4:00 UTC</pre></footer></html>
12+
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-18 3:56 UTC</pre></footer></html>

‎Juvix.Builtin.V1.Nat-src.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,4 +20,4 @@
2020
<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#+" 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>
2121
<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#*" 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>
2222
<span class="ju-delimiter">}</span><span class="ju-delimiter">;</span>
23-
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-11 4:00 UTC</pre></footer></html>
23+
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-18 3:56 UTC</pre></footer></html>

‎Juvix.Builtin.V1.Nat.Base-src.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -48,4 +48,4 @@
4848
<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#Nat" 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>
4949
<span class="ju-keyword">builtin</span> <span class="ju-keyword">nat-mod</span>
5050
<span id="mod"><span class="annot"><a href="Juvix.Builtin.V1.Nat.Base-src.html#mod" class="ju-code-link ju-function"><span class="annot"><a href="Juvix.Builtin.V1.Nat.Base-src.html#mod" 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#Nat" 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#Nat" 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#sub" 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#div" 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#*" 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>
51-
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-11 4:00 UTC</pre></footer></html>
51+
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-18 3:56 UTC</pre></footer></html>

‎Juvix.Builtin.V1.String-src.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,4 +11,4 @@
1111
<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#String" 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>
1212
<span class="ju-keyword">builtin</span> <span class="ju-keyword">string-concat</span>
1313
<span class="ju-keyword">axiom</span> <span id="++str"><span class="annot"><a href="Juvix.Builtin.V1.String-src.html#++str" class="ju-code-link ju-function"><span class="annot"><a href="Juvix.Builtin.V1.String-src.html#++str" 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#String" 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#String" 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#String" class="ju-code-link ju-inductive"><span class="ju-axiom">String</span></a></span><span class="ju-delimiter">;</span>
14-
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-11 4:00 UTC</pre></footer></html>
14+
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-18 3:56 UTC</pre></footer></html>

‎Juvix.Builtin.V1.Trait.FromNatural-src.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,4 +11,4 @@
1111
<span class="ju-delimiter">}</span><span class="ju-delimiter">;</span>
1212

1313
<span class="ju-keyword">open</span> <span class="annot"><a href="Juvix.Builtin.V1.Trait.FromNatural-src.html#FromNatural" 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>
14-
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-11 4:00 UTC</pre></footer></html>
14+
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-18 3:56 UTC</pre></footer></html>

‎Juvix.Builtin.V1.Trait.Natural-src.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,4 +18,4 @@
1818
<span class="ju-delimiter">}</span><span class="ju-delimiter">;</span>
1919

2020
<span class="ju-keyword">open</span> <span class="annot"><a href="Juvix.Builtin.V1.Trait.Natural-src.html#Natural" 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>
21-
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-11 4:00 UTC</pre></footer></html>
21+
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-18 3:56 UTC</pre></footer></html>

‎Stdlib.Cairo.Ec-src.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -132,4 +132,4 @@
132132
<span class="ju-keyword">syntax</span> <span class="ju-keyword">operator</span> <span class="annot"><a href="Stdlib.Cairo.Ec-src.html#Operators.*" class="ju-code-link ju-function"><span class="ju-function">*</span></a></span> <span class="annot"><a href="Juvix.Builtin.V1.Fixity-src.html#multiplicative" class="ju-code-link ju-fixity"><span class="ju-fixity">multiplicative</span></a></span><span class="ju-delimiter">;</span>
133133
<span id="Operators.*"><span class="annot"><a href="Stdlib.Cairo.Ec-src.html#Operators.*" class="ju-code-link ju-function"><span class="annot"><a href="Stdlib.Cairo.Ec-src.html#Operators.*" 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="Stdlib.Data.Field.Base-src.html#Field" class="ju-code-link ju-inductive"><span class="ju-axiom">Field</span></a></span> <span class="ju-keyword">-&gt;</span> <span class="annot"><a href="Stdlib.Cairo.Ec-src.html#Point" class="ju-code-link ju-inductive"><span class="ju-inductive">Point</span></a></span> <span class="ju-keyword">-&gt;</span> <span class="annot"><a href="Stdlib.Cairo.Ec-src.html#Point" class="ju-code-link ju-inductive"><span class="ju-inductive">Point</span></a></span> <span class="ju-keyword">:=</span> <span class="annot"><a href="Stdlib.Cairo.Ec-src.html#mul" class="ju-code-link ju-function"><span class="ju-function">mul</span></a></span><span class="ju-delimiter">;</span>
134134
<span class="ju-keyword">end</span><span class="ju-delimiter">;</span>
135-
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-11 4:00 UTC</pre></footer></html>
135+
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/a54e209ba8745151c0a5b78e022b3a0e51085329">0.6.10-a54e209ba8745151c0a5b78e022b3a0e51085329</a></pre></footer><footer><pre>Last modified on 2025-08-18 3:56 UTC</pre></footer></html>

0 commit comments

Comments
 (0)