Cleanup

appliedfm · Nov 28, 2021 · 92634f4 · 92634f4
1 parent b8f4b7b
commit 92634f4
Show file tree

Hide file tree

Showing 65 changed files with 13 additions and 21,031 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+docs/build
diff --git a/docs/build/doctrees/alectryon_examples.doctree b/docs/build/doctrees/alectryon_examples.doctree
diff --git a/docs/build/doctrees/definitions.doctree b/docs/build/doctrees/definitions.doctree
diff --git a/docs/build/doctrees/environment.pickle b/docs/build/doctrees/environment.pickle
diff --git a/docs/build/doctrees/extraction_c.doctree b/docs/build/doctrees/extraction_c.doctree
diff --git a/docs/build/doctrees/extraction_haskell.doctree b/docs/build/doctrees/extraction_haskell.doctree
diff --git a/docs/build/doctrees/extraction_ocaml.doctree b/docs/build/doctrees/extraction_ocaml.doctree
diff --git a/docs/build/doctrees/formatting.doctree b/docs/build/doctrees/formatting.doctree
diff --git a/docs/build/doctrees/index.doctree b/docs/build/doctrees/index.doctree
diff --git a/docs/build/doctrees/ltac.doctree b/docs/build/doctrees/ltac.doctree
diff --git a/docs/build/doctrees/naming_conventions.doctree b/docs/build/doctrees/naming_conventions.doctree
diff --git a/docs/build/doctrees/principles.doctree b/docs/build/doctrees/principles.doctree
diff --git a/docs/build/doctrees/project_structure.doctree b/docs/build/doctrees/project_structure.doctree
diff --git a/docs/build/doctrees/scope_management.doctree b/docs/build/doctrees/scope_management.doctree
diff --git a/docs/build/doctrees/types.doctree b/docs/build/doctrees/types.doctree
diff --git a/docs/build/html/.buildinfo b/docs/build/html/.buildinfo
diff --git a/docs/build/html/_sources/alectryon_examples.rst.txt b/docs/build/html/_sources/alectryon_examples.rst.txt
diff --git a/docs/build/html/_sources/definitions.rst.txt b/docs/build/html/_sources/definitions.rst.txt
diff --git a/docs/build/html/_sources/extraction_c.rst.txt b/docs/build/html/_sources/extraction_c.rst.txt
diff --git a/docs/build/html/_sources/extraction_haskell.rst.txt b/docs/build/html/_sources/extraction_haskell.rst.txt
diff --git a/docs/build/html/_sources/extraction_ocaml.rst.txt b/docs/build/html/_sources/extraction_ocaml.rst.txt
diff --git a/docs/build/html/_sources/formatting.rst.txt b/docs/build/html/_sources/formatting.rst.txt
diff --git a/docs/build/html/_sources/index.rst.txt b/docs/build/html/_sources/index.rst.txt
diff --git a/docs/build/html/_sources/ltac.rst.txt b/docs/build/html/_sources/ltac.rst.txt
diff --git a/docs/build/html/_sources/naming_conventions.rst.txt b/docs/build/html/_sources/naming_conventions.rst.txt