Deploying to gh-pages from @ bec2e9c 🚀

agda · Aug 24, 2023 · 901cfa9 · 901cfa9
1 parent 0f84518
commit 901cfa9
Show file tree

Hide file tree

Showing 6 changed files with 652 additions and 647 deletions.
diff --git a/Cubical.Algebra.CommAlgebra.FPAlgebra.Base.html b/Cubical.Algebra.CommAlgebra.FPAlgebra.Base.html
diff --git a/Cubical.Algebra.CommAlgebra.FPAlgebra.Instances.html b/Cubical.Algebra.CommAlgebra.FPAlgebra.Instances.html
diff --git a/Cubical.Algebra.CommAlgebra.FreeCommAlgebra.Base.html b/Cubical.Algebra.CommAlgebra.FreeCommAlgebra.Base.html
diff --git a/Cubical.Algebra.CommAlgebra.FreeCommAlgebra.OnCoproduct.html b/Cubical.Algebra.CommAlgebra.FreeCommAlgebra.OnCoproduct.html
diff --git a/Cubical.Algebra.CommAlgebra.FreeCommAlgebra.Properties.html b/Cubical.Algebra.CommAlgebra.FreeCommAlgebra.Properties.html
diff --git a/Cubical.Algebra.Polynomials.TypevariateHIT.EquivUnivariateListPoly.html b/Cubical.Algebra.Polynomials.TypevariateHIT.EquivUnivariateListPoly.html