QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Deployed 85879f5 to master with MkDocs 1.2.4 and mike 1.0.1

Browse Source
This commit is contained in:
GitHub Action
2022-04-27 14:11:43 +00:00
parent d897007640
commit 3f367fe783
4 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
master/search/search_index.json
+1 -1
View File
File diff suppressed because one or more lines are too long
master/sitemap.xml
+9 -9
View File
@@ -2,47 +2,47 @@
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>None</loc>
<lastmod>2022-04-26</lastmod>
<lastmod>2022-04-27</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2022-04-26</lastmod>
<lastmod>2022-04-27</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2022-04-26</lastmod>
<lastmod>2022-04-27</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2022-04-26</lastmod>
<lastmod>2022-04-27</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2022-04-26</lastmod>
<lastmod>2022-04-27</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2022-04-26</lastmod>
<lastmod>2022-04-27</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2022-04-26</lastmod>
<lastmod>2022-04-27</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2022-04-26</lastmod>
<lastmod>2022-04-27</lastmod>
<changefreq>daily</changefreq>
</url>
<url>
<loc>None</loc>
<lastmod>2022-04-26</lastmod>
<lastmod>2022-04-27</lastmod>
<changefreq>daily</changefreq>
</url>
</urlset>
master/sitemap.xml.gz
BIN
View File
Binary file not shown.
master/sophia_stdlib/index.html
+2 -2
View File
@@ -1268,9 +1268,9 @@ The call fails if the oracle could expire before an answer.</p>
<p>Bitwise <code>xor</code> of <em>non-negative</em> <code>x</code> and <code>y</code>.</p>
<h3 id="bls12_381">BLS12_381</h3>
<h4 id="types_2">Types</h4>
<h5 id="fp">fp</h5>
<p>Built-in (Montgomery) integer representation 32 bytes</p>
<h5 id="fr">fr</h5>
<p>Built-in (Montgomery) integer representation 32 bytes</p>
<h5 id="fp">fp</h5>
<p>Built-in (Montgomery) integer representation 48 bytes</p>
<h5 id="fp2">fp2</h5>
<p><code>record fp2 = { x1 : fp, x2 : fp }`</code></p>