docs

yawaramin · Aug 5, 2023 · 1e89183 · 1e89183
1 parent 4abc904
commit 1e89183
Show file tree

Hide file tree

Showing 62 changed files with 2,223 additions and 993 deletions.
diff --git a/.nojekyll b/.nojekyll
diff --git a/_odoc_support/fonts/KaTeX_AMS-Regular.woff2 b/_odoc_support/fonts/KaTeX_AMS-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Caligraphic-Bold.woff2 b/_odoc_support/fonts/KaTeX_Caligraphic-Bold.woff2
diff --git a/_odoc_support/fonts/KaTeX_Caligraphic-Regular.woff2 b/_odoc_support/fonts/KaTeX_Caligraphic-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Fraktur-Bold.woff2 b/_odoc_support/fonts/KaTeX_Fraktur-Bold.woff2
diff --git a/_odoc_support/fonts/KaTeX_Fraktur-Regular.woff2 b/_odoc_support/fonts/KaTeX_Fraktur-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Main-Bold.woff2 b/_odoc_support/fonts/KaTeX_Main-Bold.woff2
diff --git a/_odoc_support/fonts/KaTeX_Main-BoldItalic.woff2 b/_odoc_support/fonts/KaTeX_Main-BoldItalic.woff2
diff --git a/_odoc_support/fonts/KaTeX_Main-Italic.woff2 b/_odoc_support/fonts/KaTeX_Main-Italic.woff2
diff --git a/_odoc_support/fonts/KaTeX_Main-Regular.woff2 b/_odoc_support/fonts/KaTeX_Main-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Math-BoldItalic.woff2 b/_odoc_support/fonts/KaTeX_Math-BoldItalic.woff2
diff --git a/_odoc_support/fonts/KaTeX_Math-Italic.woff2 b/_odoc_support/fonts/KaTeX_Math-Italic.woff2
diff --git a/_odoc_support/fonts/KaTeX_SansSerif-Bold.woff2 b/_odoc_support/fonts/KaTeX_SansSerif-Bold.woff2
diff --git a/_odoc_support/fonts/KaTeX_SansSerif-Italic.woff2 b/_odoc_support/fonts/KaTeX_SansSerif-Italic.woff2
diff --git a/_odoc_support/fonts/KaTeX_SansSerif-Regular.woff2 b/_odoc_support/fonts/KaTeX_SansSerif-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Script-Regular.woff2 b/_odoc_support/fonts/KaTeX_Script-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Size1-Regular.woff2 b/_odoc_support/fonts/KaTeX_Size1-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Size2-Regular.woff2 b/_odoc_support/fonts/KaTeX_Size2-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Size3-Regular.woff2 b/_odoc_support/fonts/KaTeX_Size3-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Size4-Regular.woff2 b/_odoc_support/fonts/KaTeX_Size4-Regular.woff2
diff --git a/_odoc_support/fonts/KaTeX_Typewriter-Regular.woff2 b/_odoc_support/fonts/KaTeX_Typewriter-Regular.woff2
diff --git a/_odoc_support/highlight.pack.js b/_odoc_support/highlight.pack.js
diff --git a/_odoc_support/katex.min.css b/_odoc_support/katex.min.css
diff --git a/_odoc_support/katex.min.js b/_odoc_support/katex.min.js