Deployed 5c3b42a to master with MkDocs 1.4.2 and mike 1.1.2

aeternity · Jan 25, 2024 · 94c9c49 · 94c9c49
1 parent 41f5454
commit 94c9c49
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 13 deletions.
diff --git a/master/search/search_index.json b/master/search/search_index.json
diff --git a/master/sitemap.xml b/master/sitemap.xml
@@ -2,47 +2,47 @@
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
     <url>
          <loc>None</loc>
-         <lastmod>2024-01-23</lastmod>
+         <lastmod>2024-01-25</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2024-01-23</lastmod>
+         <lastmod>2024-01-25</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2024-01-23</lastmod>
+         <lastmod>2024-01-25</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2024-01-23</lastmod>
+         <lastmod>2024-01-25</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2024-01-23</lastmod>
+         <lastmod>2024-01-25</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2024-01-23</lastmod>
+         <lastmod>2024-01-25</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2024-01-23</lastmod>
+         <lastmod>2024-01-25</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2024-01-23</lastmod>
+         <lastmod>2024-01-25</lastmod>
          <changefreq>daily</changefreq>
     </url>
     <url>
          <loc>None</loc>
-         <lastmod>2024-01-23</lastmod>
+         <lastmod>2024-01-25</lastmod>
          <changefreq>daily</changefreq>
     </url>
 </urlset>
diff --git a/master/sitemap.xml.gz b/master/sitemap.xml.gz
diff --git a/master/sophia_features/index.html b/master/sophia_features/index.html
@@ -1176,7 +1176,7 @@ <h3 id="protected-contract-calls">Protected contract calls</h3>
 If the call fails the result is <code>None</code>, otherwise it's <code>Some(r)</code> where <code>r</code> is
 the return value of the call.</p>
 <div class="highlight"><pre><span></span><code><span class="k">contract</span><span class="w"> </span><span class="k">interface</span><span class="w"> </span><span class="nf">VotingType</span><span class="w"> </span><span class="ow">=</span>
-<span class="w">  </span><span class="k">entrypoint</span><span class="w"> </span><span class="ow">:</span><span class="w"> </span><span class="n">vote</span><span class="w"> </span><span class="ow">:</span><span class="w"> </span><span class="kt">string</span><span class="w"> </span><span class="ow">=&gt;</span><span class="w"> </span><span class="kt">unit</span>
+<span class="w">  </span><span class="k">entrypoint</span><span class="w"> </span><span class="n">vote</span><span class="w"> </span><span class="ow">:</span><span class="w"> </span><span class="kt">string</span><span class="w"> </span><span class="ow">=&gt;</span><span class="w"> </span><span class="kt">unit</span>
 
 <span class="k">contract</span><span class="w"> </span><span class="nf">Voter</span><span class="w"> </span><span class="ow">=</span>
 <span class="w">  </span><span class="k">entrypoint</span><span class="w"> </span><span class="n">tryVote</span><span class="p">(</span><span class="n">v</span><span class="w"> </span><span class="ow">:</span><span class="w"> </span><span class="nf">VotingType</span><span class="p">,</span><span class="w"> </span><span class="n">alt</span><span class="w"> </span><span class="ow">:</span><span class="w"> </span><span class="kt">string</span><span class="p">)</span><span class="w"> </span><span class="ow">=</span>
@@ -1274,7 +1274,7 @@ <h4 id="adding-or-removing-modifiers">Adding or removing modifiers</h4>
 <li>A <code>stateful</code> entrypoint can only implement a <code>stateful</code> entrypoint, and cannot implement a non-<code>stateful</code> entrypoint.</li>
 </ol>
 <h4 id="subtyping-and-variance">Subtyping and variance</h4>
-<p>Subtyping in Sophia follows common rules that take type variance into account. As described by <a href="https://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)">Wikipedia</a>, </p>
+<p>Subtyping in Sophia follows common rules that take type variance into account. As described by <a href="https://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)">Wikipedia</a>,</p>
 <blockquote>
 <p>Variance refers to how subtyping between more complex types relates to subtyping between their components.</p>
 </blockquote>
@@ -1785,7 +1785,7 @@ <h2 id="arithmetic">Arithmetic</h2>
 - division (<code>x / y</code>), truncated towards zero
 - remainder (<code>x mod y</code>), satisfying <code>y * (x / y) + x mod y == x</code> for non-zero <code>y</code>
 - exponentiation (<code>x ^ y</code>)</p>
-<p>All operations are <em>safe</em> with respect to overflow and underflow. 
+<p>All operations are <em>safe</em> with respect to overflow and underflow.
 The division and modulo operations throw an arithmetic error if the
 right-hand operand is zero.</p>
 <h2 id="bit-fields">Bit fields</h2>