Deploying to gh-pages from @ d7c4675 🚀

Author: jonaprieto

pr-179/404.html

@@ -52,6 +52,8 @@
 
       <link rel="stylesheet" href="/nspec/pr-179/assets/css/juvix-highlighting.css">
 
+      <link rel="stylesheet" href="/nspec/pr-179/assets/css/juvix_codeblock_footer.css">
+    
       <link rel="stylesheet" href="/nspec/pr-179/assets/css">
 
     <script>__md_scope=new URL("/nspec/pr-179/",location),__md_hash=e=>[...e].reduce(((e,_)=>(e<<5)-e+_.charCodeAt(0)),0),__md_get=(e,_=localStorage,t=__md_scope)=>JSON.parse(_.getItem(t.pathname+"."+e)),__md_set=(e,_,t=localStorage,a=__md_scope)=>{try{t.setItem(a.pathname+"."+e,JSON.stringify(_))}catch(e){}}</script>
@@ -951,7 +953,7 @@ <h1>404 - Not found</h1>
       <div class="md-copyright">
 
   <div class="md-copyright__highlight">
-    Branch:jonathan/restructuring - Python:3.x - Poetry:1.8.3 - Material:9.5.37-insiders-4.53.13 - Last updated: October 10, 2024 at 06:13 PM UTC
+    Branch:jonathan/restructuring - Python:3.x - Poetry:1.8.3 - Material:9.5.37-insiders-4.53.13 - Last updated: October 31, 2024 at 06:30 PM UTC
   </div>
 
 

pr-179/Data/BinaryTree-src.html

@@ -19,4 +19,4 @@
 <span id="Data.BinaryTree:8"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:8" class="ju-code-link ju-function"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:8" class="ju-code-link ju-function"><span class="ju-function">
 to-list</span></a></span></a></span></span> <span class="ju-keyword">:</span> <span class="ju-delimiter">{</span><span id="Data.BinaryTree:21"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:21" class="ju-code-link ju-var"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:21" 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">Type</span><span class="ju-delimiter">}</span> <span class="ju-keyword">-&gt;</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:1" class="ju-code-link ju-inductive"><span class="ju-inductive">BinaryTree</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:21" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span> <span class="ju-keyword">-&gt;</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:1" class="ju-code-link ju-inductive"><span class="ju-inductive">List</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:21" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span> <span class="ju-keyword">:=</span>
   <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:6" class="ju-code-link ju-function"><span class="ju-function">fold</span></a></span> <span class="ju-keyword">λ</span> <span class="ju-delimiter">{</span><span id="Data.BinaryTree:22"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:22" class="ju-code-link ju-var"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:22" class="ju-code-link ju-var"><span class="ju-var">e</span></a></span></a></span></span> <span id="Data.BinaryTree:23"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:23" class="ju-code-link ju-var"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:23" class="ju-code-link ju-var"><span class="ju-var">ls</span></a></span></a></span></span> <span id="Data.BinaryTree:24"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:24" class="ju-code-link ju-var"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:24" class="ju-code-link ju-var"><span class="ju-var">rs</span></a></span></a></span></span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:22" class="ju-code-link ju-var"><span class="ju-var">e</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:3" class="ju-code-link ju-constructor"><span class="ju-constructor">::</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:23" class="ju-code-link ju-var"><span class="ju-var">ls</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Stdlib/Data/List/Base-src.html#Stdlib.Data.List.Base:17" class="ju-code-link ju-function"><span class="ju-function">++</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/BinaryTree-src.html#Data.BinaryTree:24" class="ju-code-link ju-var"><span class="ju-var">rs</span></a></span><span class="ju-delimiter">}</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/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><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-10 18:12 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-31 18:29 UTC</pre></footer></html>

pr-179/Data/BinaryTree.html

@@ -67,4 +67,4 @@
 
 <span class="ju-keyword">instance</span>
 <span id="Data.Map:38"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Map-src.html#Data.Map:38" class="ju-code-link ju-function"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Map-src.html#Data.Map:38" class="ju-code-link ju-function"><span class="ju-function">eqMapI</span></a></span></a></span></span> <span class="ju-delimiter">{</span><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Map-src.html#Data.Map:82" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Map-src.html#Data.Map:83" class="ju-code-link ju-var"><span class="ju-var">B</span></a></span><span class="ju-delimiter">}</span> <span class="ju-delimiter">{{</span><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Stdlib/Trait/Eq-src.html#Stdlib.Trait.Eq:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Eq</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Map-src.html#Data.Map:82" 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="annot"><a href="https://anoma.github.io/nspec/pr-179/Stdlib/Trait/Eq-src.html#Stdlib.Trait.Eq:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Eq</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Map-src.html#Data.Map:83" class="ju-code-link ju-var"><span class="ju-var">B</span></a></span><span class="ju-delimiter">}}</span> <span class="ju-keyword">:</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Stdlib/Trait/Eq-src.html#Stdlib.Trait.Eq:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Eq</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Map-src.html#Data.Map:10" class="ju-code-link ju-inductive"><span class="ju-inductive"><span class="ju-delimiter">(</span>Map</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Map-src.html#Data.Map:82" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Map-src.html#Data.Map:83" class="ju-code-link ju-var"><span class="ju-var">B</span></a></span><span class="ju-delimiter">)</span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Stdlib/Trait/Eq-src.html#Stdlib.Trait.Eq:2" class="ju-code-link ju-constructor"><span class="ju-constructor">mkEq</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Stdlib/Trait/Eq-src.html#Stdlib.Trait.Eq:5" class="ju-code-link ju-function"><span class="ju-function"><span class="ju-delimiter">(</span>Eq<span class="ju-delimiter">.</span>eq</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Stdlib/Function-src.html#Stdlib.Function:9" class="ju-code-link ju-function"><span class="ju-function">on</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Map-src.html#Data.Map:35" class="ju-code-link ju-function"><span class="ju-function">toList</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-10 18:12 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-31 18:29 UTC</pre></footer></html>

pr-179/Data/Map-src.html

@@ -13,4 +13,4 @@
 ordSetI</span></a></span></a></span></span> <span class="ju-delimiter">{</span><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Set-src.html#Data.Set: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><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Stdlib/Trait/Ord-src.html#Stdlib.Trait.Ord:10" class="ju-code-link ju-inductive"><span class="ju-inductive">Ord</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Set-src.html#Data.Set:5" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">}}</span> <span class="ju-keyword">:</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Stdlib/Trait/Ord-src.html#Stdlib.Trait.Ord:10" class="ju-code-link ju-inductive"><span class="ju-inductive">Ord</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Set-src.html#Data.Set:1" class="ju-code-link ju-var"><span class="ju-inductive"><span class="ju-delimiter">(</span>Set</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Set-src.html#Data.Set:5" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">)</span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Data/Set/AVL-src.html#Data.Set.AVL:41" class="ju-code-link ju-function"><span class="ju-function">ordAVLTreeI</span></a></span><span class="ju-delimiter">;</span>
 
 <span class="ju-keyword">import</span> <span id="Stdlib.Data.List:0"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Stdlib/Data/List-src.html#Stdlib.Data.List:0" class="ju-code-link ju-module"><span class="annot"><a href="https://anoma.github.io/nspec/pr-179/Stdlib/Data/List-src.html#Stdlib.Data.List:0" class="ju-code-link ju-module"><span class="ju-module"><span class="ju-module">Stdlib.Data.List</span></span></a></span></a></span></span> <span class="ju-keyword">open</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-10 18:12 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-31 18:29 UTC</pre></footer></html>