Skip to content

Commit

Permalink
deploy: 6462b69
Browse files Browse the repository at this point in the history
  • Loading branch information
@lukaszcz
lukaszcz committed May 13, 2024
1 parent f947b5d commit 72ee092
Show file tree
Hide file tree
Showing 50 changed files with 62 additions and 62 deletions.
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"><span class="annot"><a href="Juvix.Builtin.V1.Bool-src.html#Juvix.Builtin.V1.Bool:1"><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"><span class="annot"><a href="Juvix.Builtin.V1.Bool-src.html#Juvix.Builtin.V1.Bool:2"><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"><span class="annot"><a href="Juvix.Builtin.V1.Bool-src.html#Juvix.Builtin.V1.Bool:3"><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/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:27 UTC</span></html>
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:51 UTC</span></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 @@ -22,4 +22,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:24"><span class="ju-fixity">multiplicative</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:22"><span class="ju-fixity">additive</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:26"><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"><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/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:27 UTC</span></html>
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:51 UTC</span></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"><span class="annot"><a href="Juvix.Builtin.V1.List-src.html#Juvix.Builtin.V1.List:2"><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"><span class="annot"><a href="Juvix.Builtin.V1.List-src.html#Juvix.Builtin.V1.List:3"><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"><span class="ju-var">a</span></a></span> <span class="annot"><a href="Juvix.Builtin.V1.List-src.html#Juvix.Builtin.V1.List:1"><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"><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/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:27 UTC</span></html>
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:51 UTC</span></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 @@ -6,4 +6,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"><span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Juvix.Builtin.V1.Maybe:1"><span class="ju-inductive">Maybe</span></a></span></a></span></span> <span id="Juvix.Builtin.V1.Maybe:5"><span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Juvix.Builtin.V1.Maybe:5"><span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Juvix.Builtin.V1.Maybe:5"><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"><span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Juvix.Builtin.V1.Maybe:2"><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"><span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Juvix.Builtin.V1.Maybe:3"><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"><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/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:27 UTC</span></html>
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:51 UTC</span></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 @@ -13,4 +13,4 @@
<span id="Juvix.Builtin.V1.Nat:3"><span class="annot"><a href="Juvix.Builtin.V1.Nat-src.html#Juvix.Builtin.V1.Nat:3"><span class="annot"><a href="Juvix.Builtin.V1.Nat-src.html#Juvix.Builtin.V1.Nat:3"><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"><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:4"><span class="annot"><a href="Juvix.Builtin.V1.Nat-src.html#Juvix.Builtin.V1.Nat:4"><span class="annot"><a href="Juvix.Builtin.V1.Nat-src.html#Juvix.Builtin.V1.Nat:4"><span class="ju-function">fromNat</span></a></span></a></span></span> <span class="ju-delimiter">(</span><span class="annot"><a href="Juvix.Builtin.V1.Nat-src.html#Juvix.Builtin.V1.Nat:5"><span class="ju-var">x</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"><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"><span class="ju-inductive">Nat</span></a></span> <span class="ju-keyword">:=</span> <span class="annot"><a href="Juvix.Builtin.V1.Nat-src.html#Juvix.Builtin.V1.Nat:5"><span class="ju-var">x</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/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:27 UTC</span></html>
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:51 UTC</span></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"><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"><span class="annot"><a href="Juvix.Builtin.V1.Nat.Base-src.html#Juvix.Builtin.V1.Nat.Base:10"><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"><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"><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"><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"><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"><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"><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"><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"><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"><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"><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"><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/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:27 UTC</span></html>
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:51 UTC</span></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"><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"><span class="annot"><a href="Juvix.Builtin.V1.String-src.html#Juvix.Builtin.V1.String:2"><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"><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"><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"><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/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:27 UTC</span></html>
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:51 UTC</span></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 @@ -16,4 +16,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:6"><span class="ju-var">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/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:27 UTC</span></html>
</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/851afba">0.6.1-851afba</a></pre></footer><span>Last modified on 2024-05-13 16:51 UTC</span></html>
Loading

0 comments on commit 72ee092

Please sign in to comment.