deploy: 5bdd786

anoma · Jul 23, 2024 · dc16b72 · dc16b72
1 parent 506a6ae
commit dc16b72
Show file tree

Hide file tree

Showing 65 changed files with 266 additions and 94 deletions.
diff --git a/Juvix.Builtin.V1.Bool-src.html b/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="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/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 11:12 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 15:18 UTC</span></html>
diff --git a/Juvix.Builtin.V1.Fixity-src.html b/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="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>
 <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"><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"><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/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 11:12 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 15:18 UTC</span></html>
diff --git a/Juvix.Builtin.V1.List-src.html b/Juvix.Builtin.V1.List-src.html
@@ -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:4"><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:4"><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/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 11:12 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 15:18 UTC</span></html>
diff --git a/Juvix.Builtin.V1.Maybe-src.html b/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="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:4"><span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Juvix.Builtin.V1.Maybe:4"><span class="annot"><a href="Juvix.Builtin.V1.Maybe-src.html#Juvix.Builtin.V1.Maybe:4"><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:4"><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/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 11:12 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 15:18 UTC</span></html>
diff --git a/Juvix.Builtin.V1.Nat-src.html b/Juvix.Builtin.V1.Nat-src.html
@@ -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/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 11:12 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 15:18 UTC</span></html>
diff --git a/Juvix.Builtin.V1.Nat.Base-src.html b/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="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/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 11:12 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 15:18 UTC</span></html>
diff --git a/Juvix.Builtin.V1.String-src.html b/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="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/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 11:12 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 15:18 UTC</span></html>
diff --git a/Juvix.Builtin.V1.Trait.Natural-src.html b/Juvix.Builtin.V1.Trait.Natural-src.html
@@ -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"><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/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 11:12 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 15:18 UTC</span></html>
diff --git a/Stdlib.Cairo.Poseidon-src.html b/Stdlib.Cairo.Poseidon-src.html
@@ -40,4 +40,4 @@
           <span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:3"><span class="ju-axiom"><span class="ju-delimiter">(</span>poseidonHash</span></a></span> <span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:19"><span class="ju-var">acc</span></a></span><span class="ju-keyword">@</span><span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:1"><span class="ju-inductive">PoseidonState</span></a></span><span class="ju-delimiter">{</span>   s0 <span class="ju-keyword">:=</span> <span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:30"><span class="ju-var">s0</span></a></span> <span class="annot"><a href="Juvix.Builtin.V1.Trait.Natural-src.html#Juvix.Builtin.V1.Trait.Natural:7"><span class="ju-function">+</span></a></span> <span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:27"><span class="ju-var">x1</span></a></span><span class="ju-delimiter">;</span> s1 <span class="ju-keyword">:=</span> <span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:31"><span class="ju-var">s1</span></a></span> <span class="annot"><a href="Juvix.Builtin.V1.Trait.Natural-src.html#Juvix.Builtin.V1.Trait.Natural:7"><span class="ju-function">+</span></a></span> <span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:28"><span class="ju-var">x2</span></a></span> <span class="ju-delimiter">}</span><span class="ju-delimiter">)</span>
           <span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:29"><span class="ju-var">xs</span></a></span><span class="ju-delimiter">;</span>
   <span class="ju-keyword">in</span> <span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:7"><span class="ju-function">PoseidonState<span class="ju-delimiter">.</span>s0</span></a></span> <span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:18"><span class="ju-function"><span class="ju-delimiter">(</span>go</span></a></span> <span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:2"><span class="ju-constructor"><span class="ju-delimiter">(</span>mkPoseidonState</span></a></span> <span class="ju-number">0</span> <span class="ju-number">0</span> <span class="ju-number">0</span><span class="ju-delimiter">)</span> <span class="annot"><a href="Stdlib.Cairo.Poseidon-src.html#Stdlib.Cairo.Poseidon:17"><span class="ju-var">lst</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/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 11:12 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 15:18 UTC</span></html>
diff --git a/Stdlib.Data.Bool-src.html b/Stdlib.Data.Bool-src.html
@@ -32,4 +32,4 @@
       <span class="ju-keyword">|</span> <span class="annot"><a href="Juvix.Builtin.V1.Bool-src.html#Juvix.Builtin.V1.Bool:2"><span class="ju-constructor">true</span></a></span> <span class="ju-keyword">:=</span> <span class="ju-string">&quot;true&quot;</span>
       <span class="ju-keyword">|</span> <span class="annot"><a href="Juvix.Builtin.V1.Bool-src.html#Juvix.Builtin.V1.Bool:3"><span class="ju-constructor">false</span></a></span> <span class="ju-keyword">:=</span> <span class="ju-string">&quot;false&quot;</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/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 11:12 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/11425aa">0.6.4-11425aa</a></pre></footer><span>Last modified on 2024-07-23 15:18 UTC</span></html>