Skip to content

Commit

Permalink
Deploying to gh-pages from @ d182af3 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@felixwellen
felixwellen committed Feb 21, 2024
1 parent 30a2dac commit ba84169
Show file tree
Hide file tree
Showing 18 changed files with 1,302 additions and 1,161 deletions.
340 changes: 0 additions & 340 deletions Cubical.Categories.Category.Precategory.html
View file

This file was deleted.

163 changes: 80 additions & 83 deletions Cubical.Categories.Everything.html
View file

Large diffs are not rendered by default.

27 changes: 0 additions & 27 deletions Cubical.Categories.Instances.Categories.html
View file

This file was deleted.

21 changes: 0 additions & 21 deletions Cubical.Categories.Instances.TypePrecategory.html
View file

This file was deleted.

17 changes: 9 additions & 8 deletions Cubical.HITs.Everything.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -54,12 +54,13 @@
<a id="1738" class="Keyword">import</a> <a id="1745" href="Cubical.HITs.SmashProduct.Hexagon.html" class="Module">Cubical.HITs.SmashProduct.Hexagon</a>
<a id="1779" class="Keyword">import</a> <a id="1786" href="Cubical.HITs.SmashProduct.Pentagon.html" class="Module">Cubical.HITs.SmashProduct.Pentagon</a>
<a id="1821" class="Keyword">import</a> <a id="1828" href="Cubical.HITs.SmashProduct.SymmetricMonoidal.html" class="Module">Cubical.HITs.SmashProduct.SymmetricMonoidal</a>
<a id="1872" class="Keyword">import</a> <a id="1879" href="Cubical.HITs.Sn.html" class="Module">Cubical.HITs.Sn</a>
<a id="1895" class="Keyword">import</a> <a id="1902" href="Cubical.HITs.Susp.html" class="Module">Cubical.HITs.Susp</a>
<a id="1920" class="Keyword">import</a> <a id="1927" href="Cubical.HITs.Susp.LoopAdjunction.html" class="Module">Cubical.HITs.Susp.LoopAdjunction</a>
<a id="1960" class="Keyword">import</a> <a id="1967" href="Cubical.HITs.Torus.html" class="Module">Cubical.HITs.Torus</a>
<a id="1986" class="Keyword">import</a> <a id="1993" href="Cubical.HITs.Truncation.html" class="Module">Cubical.HITs.Truncation</a>
<a id="2017" class="Keyword">import</a> <a id="2024" href="Cubical.HITs.TypeQuotients.html" class="Module">Cubical.HITs.TypeQuotients</a>
<a id="2051" class="Keyword">import</a> <a id="2058" href="Cubical.HITs.UnorderedPair.html" class="Module">Cubical.HITs.UnorderedPair</a>
<a id="2085" class="Keyword">import</a> <a id="2092" href="Cubical.HITs.Wedge.html" class="Module">Cubical.HITs.Wedge</a>
<a id="1872" class="Keyword">import</a> <a id="1879" href="Cubical.HITs.SmashProduct.SymmetricMonoidalCat.html" class="Module">Cubical.HITs.SmashProduct.SymmetricMonoidalCat</a>
<a id="1926" class="Keyword">import</a> <a id="1933" href="Cubical.HITs.Sn.html" class="Module">Cubical.HITs.Sn</a>
<a id="1949" class="Keyword">import</a> <a id="1956" href="Cubical.HITs.Susp.html" class="Module">Cubical.HITs.Susp</a>
<a id="1974" class="Keyword">import</a> <a id="1981" href="Cubical.HITs.Susp.LoopAdjunction.html" class="Module">Cubical.HITs.Susp.LoopAdjunction</a>
<a id="2014" class="Keyword">import</a> <a id="2021" href="Cubical.HITs.Torus.html" class="Module">Cubical.HITs.Torus</a>
<a id="2040" class="Keyword">import</a> <a id="2047" href="Cubical.HITs.Truncation.html" class="Module">Cubical.HITs.Truncation</a>
<a id="2071" class="Keyword">import</a> <a id="2078" href="Cubical.HITs.TypeQuotients.html" class="Module">Cubical.HITs.TypeQuotients</a>
<a id="2105" class="Keyword">import</a> <a id="2112" href="Cubical.HITs.UnorderedPair.html" class="Module">Cubical.HITs.UnorderedPair</a>
<a id="2139" class="Keyword">import</a> <a id="2146" href="Cubical.HITs.Wedge.html" class="Module">Cubical.HITs.Wedge</a>
</pre></body></html>
Loading

0 comments on commit ba84169

Please sign in to comment.