move std/ and tests/ to docs/

cicada-lang · Sep 24, 2024 · 0a1b3bf · 0a1b3bf
1 parent 8549d87
commit 0a1b3bf
Show file tree

Hide file tree

Showing 157 changed files with 4 additions and 6 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,5 +1,3 @@
-move std/ and tests/ to docs/
-
 `Stmts.Test` -- `test { ... }` and `test <description> { ... }`
 
 - move snapshot tests to `test:cic`

diff --git a/old/tests/basic/let/let.cic → docs/old/tests/basic/let/let.cic b/old/tests/basic/let/let.cic → docs/old/tests/basic/let/let.cic
diff --git a/old/tests/basic/let/let.cic.out → docs/old/tests/basic/let/let.cic.out b/old/tests/basic/let/let.cic.out → docs/old/tests/basic/let/let.cic.out
diff --git a/old/tests/basic/pi/fn-syntax.md → docs/old/tests/basic/pi/fn-syntax.md b/old/tests/basic/pi/fn-syntax.md → docs/old/tests/basic/pi/fn-syntax.md
diff --git a/old/tests/basic/pi/fn-syntax.md.out → docs/old/tests/basic/pi/fn-syntax.md.out b/old/tests/basic/pi/fn-syntax.md.out → docs/old/tests/basic/pi/fn-syntax.md.out
diff --git a/...ts/basic/sigma/cons-is-not-type.error.cic → ...ts/basic/sigma/cons-is-not-type.error.cic b/...ts/basic/sigma/cons-is-not-type.error.cic → ...ts/basic/sigma/cons-is-not-type.error.cic
diff --git a/...asic/sigma/cons-is-not-type.error.cic.err → ...asic/sigma/cons-is-not-type.error.cic.err b/...asic/sigma/cons-is-not-type.error.cic.err → ...asic/sigma/cons-is-not-type.error.cic.err
diff --git a/...c/sigma/pair-can-only-take-type.error.cic → ...c/sigma/pair-can-only-take-type.error.cic b/...c/sigma/pair-can-only-take-type.error.cic → ...c/sigma/pair-can-only-take-type.error.cic
diff --git a/...gma/pair-can-only-take-type.error.cic.err → ...gma/pair-can-only-take-type.error.cic.err b/...gma/pair-can-only-take-type.error.cic.err → ...gma/pair-can-only-take-type.error.cic.err
diff --git a/old/tests/basic/string/my-name.cic → docs/old/tests/basic/string/my-name.cic b/old/tests/basic/string/my-name.cic → docs/old/tests/basic/string/my-name.cic
diff --git a/old/tests/basic/string/my-name.cic.out → docs/old/tests/basic/string/my-name.cic.out b/old/tests/basic/string/my-name.cic.out → docs/old/tests/basic/string/my-name.cic.out
diff --git a/old/tests/basic/the/the.cic → docs/old/tests/basic/the/the.cic b/old/tests/basic/the/the.cic → docs/old/tests/basic/the/the.cic
diff --git a/old/tests/basic/the/the.cic.out → docs/old/tests/basic/the/the.cic.out b/old/tests/basic/the/the.cic.out → docs/old/tests/basic/the/the.cic.out
diff --git a/old/tests/basic/todo/todo.cic → docs/old/tests/basic/todo/todo.cic b/old/tests/basic/todo/todo.cic → docs/old/tests/basic/todo/todo.cic
diff --git a/old/tests/basic/todo/todo.cic.out → docs/old/tests/basic/todo/todo.cic.out b/old/tests/basic/todo/todo.cic.out → docs/old/tests/basic/todo/todo.cic.out
diff --git a/old/tests/basic/trivial/sole.cic → docs/old/tests/basic/trivial/sole.cic b/old/tests/basic/trivial/sole.cic → docs/old/tests/basic/trivial/sole.cic
diff --git a/old/tests/basic/trivial/sole.cic.out → docs/old/tests/basic/trivial/sole.cic.out b/old/tests/basic/trivial/sole.cic.out → docs/old/tests/basic/trivial/sole.cic.out
diff --git a/old/tests/basic/type/type-in-type.cic → docs/old/tests/basic/type/type-in-type.cic b/old/tests/basic/type/type-in-type.cic → docs/old/tests/basic/type/type-in-type.cic
diff --git a/old/tests/basic/type/type-in-type.cic.out → ...old/tests/basic/type/type-in-type.cic.out b/old/tests/basic/type/type-in-type.cic.out → ...old/tests/basic/type/type-in-type.cic.out
diff --git a/old/tests/class/abc-extra-fields.cic → docs/old/tests/class/abc-extra-fields.cic b/old/tests/class/abc-extra-fields.cic → docs/old/tests/class/abc-extra-fields.cic
diff --git a/old/tests/class/abc-extra-fields.cic.out → .../old/tests/class/abc-extra-fields.cic.out b/old/tests/class/abc-extra-fields.cic.out → .../old/tests/class/abc-extra-fields.cic.out
diff --git a/old/tests/class/abc-nested.cic → docs/old/tests/class/abc-nested.cic b/old/tests/class/abc-nested.cic → docs/old/tests/class/abc-nested.cic
diff --git a/old/tests/class/abc-nested.cic.out → docs/old/tests/class/abc-nested.cic.out b/old/tests/class/abc-nested.cic.out → docs/old/tests/class/abc-nested.cic.out
diff --git a/old/tests/class/abc-shorthand.cic → docs/old/tests/class/abc-shorthand.cic b/old/tests/class/abc-shorthand.cic → docs/old/tests/class/abc-shorthand.cic
diff --git a/old/tests/class/abc-shorthand.cic.out → docs/old/tests/class/abc-shorthand.cic.out b/old/tests/class/abc-shorthand.cic.out → docs/old/tests/class/abc-shorthand.cic.out
diff --git a/old/tests/class/abc-spread.cic → docs/old/tests/class/abc-spread.cic b/old/tests/class/abc-spread.cic → docs/old/tests/class/abc-spread.cic
diff --git a/old/tests/class/abc-spread.cic.out → docs/old/tests/class/abc-spread.cic.out b/old/tests/class/abc-spread.cic.out → docs/old/tests/class/abc-spread.cic.out
diff --git a/old/tests/class/abc.md → docs/old/tests/class/abc.md b/old/tests/class/abc.md → docs/old/tests/class/abc.md
diff --git a/old/tests/class/abc.md.out → docs/old/tests/class/abc.md.out b/old/tests/class/abc.md.out → docs/old/tests/class/abc.md.out
diff --git a/...ests/class/category-with-a-typo.error.cic → ...ests/class/category-with-a-typo.error.cic b/...ests/class/category-with-a-typo.error.cic → ...ests/class/category-with-a-typo.error.cic
diff --git a/.../class/category-with-a-typo.error.cic.err → .../class/category-with-a-typo.error.cic.err b/.../class/category-with-a-typo.error.cic.err → .../class/category-with-a-typo.error.cic.err
diff --git a/old/tests/class/category.cic → docs/old/tests/class/category.cic b/old/tests/class/category.cic → docs/old/tests/class/category.cic
diff --git a/old/tests/class/category.cic.out → docs/old/tests/class/category.cic.out b/old/tests/class/category.cic.out → docs/old/tests/class/category.cic.out
diff --git a/...ss/duplicated-class-field-names.error.cic → ...ss/duplicated-class-field-names.error.cic b/...ss/duplicated-class-field-names.error.cic → ...ss/duplicated-class-field-names.error.cic
diff --git a/...uplicated-class-field-names.error.cic.err → ...uplicated-class-field-names.error.cic.err b/...uplicated-class-field-names.error.cic.err → ...uplicated-class-field-names.error.cic.err
diff --git a/...s/duplicated-object-field-names.error.cic → ...s/duplicated-object-field-names.error.cic b/...s/duplicated-object-field-names.error.cic → ...s/duplicated-object-field-names.error.cic
diff --git a/...plicated-object-field-names.error.cic.err → ...plicated-object-field-names.error.cic.err b/...plicated-object-field-names.error.cic.err → ...plicated-object-field-names.error.cic.err
diff --git a/.../class/fulfilling-type/abc-fulfilling.cic → .../class/fulfilling-type/abc-fulfilling.cic b/.../class/fulfilling-type/abc-fulfilling.cic → .../class/fulfilling-type/abc-fulfilling.cic
diff --git a/...ss/fulfilling-type/abc-fulfilling.cic.out → ...ss/fulfilling-type/abc-fulfilling.cic.out b/...ss/fulfilling-type/abc-fulfilling.cic.out → ...ss/fulfilling-type/abc-fulfilling.cic.out
diff --git a/.../class/fulfilling-type/abc-pre-filled.cic → .../class/fulfilling-type/abc-pre-filled.cic b/.../class/fulfilling-type/abc-pre-filled.cic → .../class/fulfilling-type/abc-pre-filled.cic
diff --git a/...ss/fulfilling-type/abc-pre-filled.cic.out → ...ss/fulfilling-type/abc-pre-filled.cic.out b/...ss/fulfilling-type/abc-pre-filled.cic.out → ...ss/fulfilling-type/abc-pre-filled.cic.out
diff --git a/.../fulfilling-type/abc-pre-filled.error.cic → .../fulfilling-type/abc-pre-filled.error.cic b/.../fulfilling-type/abc-pre-filled.error.cic → .../fulfilling-type/abc-pre-filled.error.cic
diff --git a/...filling-type/abc-pre-filled.error.cic.err → ...filling-type/abc-pre-filled.error.cic.err b/...filling-type/abc-pre-filled.error.cic.err → ...filling-type/abc-pre-filled.error.cic.err
diff --git a/...tests/class/fulfilling-type/cls-scope.cic → ...tests/class/fulfilling-type/cls-scope.cic b/...tests/class/fulfilling-type/cls-scope.cic → ...tests/class/fulfilling-type/cls-scope.cic
diff --git a/...s/class/fulfilling-type/cls-scope.cic.out → ...s/class/fulfilling-type/cls-scope.cic.out b/...s/class/fulfilling-type/cls-scope.cic.out → ...s/class/fulfilling-type/cls-scope.cic.out
diff --git a/...ulfilling-type/natural-transformation.cic → ...ulfilling-type/natural-transformation.cic b/...ulfilling-type/natural-transformation.cic → ...ulfilling-type/natural-transformation.cic
diff --git a/...lling-type/natural-transformation.cic.out → ...lling-type/natural-transformation.cic.out b/...lling-type/natural-transformation.cic.out → ...lling-type/natural-transformation.cic.out
diff --git a/...tests/class/functor-with-a-typo.error.cic → ...tests/class/functor-with-a-typo.error.cic b/...tests/class/functor-with-a-typo.error.cic → ...tests/class/functor-with-a-typo.error.cic
diff --git a/...s/class/functor-with-a-typo.error.cic.err → ...s/class/functor-with-a-typo.error.cic.err b/...s/class/functor-with-a-typo.error.cic.err → ...s/class/functor-with-a-typo.error.cic.err
diff --git a/old/tests/class/functor.cic → docs/old/tests/class/functor.cic b/old/tests/class/functor.cic → docs/old/tests/class/functor.cic
diff --git a/old/tests/class/functor.cic.out → docs/old/tests/class/functor.cic.out b/old/tests/class/functor.cic.out → docs/old/tests/class/functor.cic.out
diff --git a/old/tests/class/inheritance/abc-extends.cic → ...d/tests/class/inheritance/abc-extends.cic b/old/tests/class/inheritance/abc-extends.cic → ...d/tests/class/inheritance/abc-extends.cic
diff --git a/...sts/class/inheritance/abc-extends.cic.out → ...sts/class/inheritance/abc-extends.cic.out b/...sts/class/inheritance/abc-extends.cic.out → ...sts/class/inheritance/abc-extends.cic.out
diff --git a/...ests/class/inheritance/order--inlined.cic → ...ests/class/inheritance/order--inlined.cic b/...ests/class/inheritance/order--inlined.cic → ...ests/class/inheritance/order--inlined.cic
diff --git a/.../class/inheritance/order--inlined.cic.out → .../class/inheritance/order--inlined.cic.out b/.../class/inheritance/order--inlined.cic.out → .../class/inheritance/order--inlined.cic.out
diff --git a/old/tests/class/inheritance/order.cic → docs/old/tests/class/inheritance/order.cic b/old/tests/class/inheritance/order.cic → docs/old/tests/class/inheritance/order.cic
diff --git a/.../equality/not-the-same-function.error.cic → .../equality/not-the-same-function.error.cic b/.../equality/not-the-same-function.error.cic → .../equality/not-the-same-function.error.cic
diff --git a/...ality/not-the-same-function.error.cic.err → ...ality/not-the-same-function.error.cic.err b/...ality/not-the-same-function.error.cic.err → ...ality/not-the-same-function.error.cic.err
diff --git a/...ests/equality/not-the-same-pair.error.cic → ...ests/equality/not-the-same-pair.error.cic b/...ests/equality/not-the-same-pair.error.cic → ...ests/equality/not-the-same-pair.error.cic
diff --git a/.../equality/not-the-same-pair.error.cic.err → .../equality/not-the-same-pair.error.cic.err b/.../equality/not-the-same-pair.error.cic.err → .../equality/not-the-same-pair.error.cic.err
diff --git a/...ts/equality/not-the-same-string.error.cic → ...ts/equality/not-the-same-string.error.cic b/...ts/equality/not-the-same-string.error.cic → ...ts/equality/not-the-same-string.error.cic
diff --git a/...quality/not-the-same-string.error.cic.err → ...quality/not-the-same-string.error.cic.err b/...quality/not-the-same-string.error.cic.err → ...quality/not-the-same-string.error.cic.err
diff --git a/old/tests/equality/same-as-chart.cic → docs/old/tests/equality/same-as-chart.cic b/old/tests/equality/same-as-chart.cic → docs/old/tests/equality/same-as-chart.cic
diff --git a/old/tests/equality/same-as-chart.cic.out → .../old/tests/equality/same-as-chart.cic.out b/old/tests/equality/same-as-chart.cic.out → .../old/tests/equality/same-as-chart.cic.out
diff --git a/old/tests/equality/same-as-chart.error.cic → ...ld/tests/equality/same-as-chart.error.cic b/old/tests/equality/same-as-chart.error.cic → ...ld/tests/equality/same-as-chart.error.cic
diff --git a/...ests/equality/same-as-chart.error.cic.err → ...ests/equality/same-as-chart.error.cic.err b/...ests/equality/same-as-chart.error.cic.err → ...ests/equality/same-as-chart.error.cic.err
diff --git a/old/tests/equality/same-elab-to-refl.cic → .../old/tests/equality/same-elab-to-refl.cic b/old/tests/equality/same-elab-to-refl.cic → .../old/tests/equality/same-elab-to-refl.cic
diff --git a/old/tests/equality/same-elab-to-refl.cic.out → .../tests/equality/same-elab-to-refl.cic.out b/old/tests/equality/same-elab-to-refl.cic.out → .../tests/equality/same-elab-to-refl.cic.out
diff --git a/old/tests/equality/the-same.cic → docs/old/tests/equality/the-same.cic b/old/tests/equality/the-same.cic → docs/old/tests/equality/the-same.cic
diff --git a/old/tests/equality/the-same.cic.out → docs/old/tests/equality/the-same.cic.out b/old/tests/equality/the-same.cic.out → docs/old/tests/equality/the-same.cic.out
diff --git a/old/tests/implicit-n-vague/implicit-ap.md → ...old/tests/implicit-n-vague/implicit-ap.md b/old/tests/implicit-n-vague/implicit-ap.md → ...old/tests/implicit-n-vague/implicit-ap.md
diff --git a/...tests/implicit-n-vague/implicit-ap.md.out → ...tests/implicit-n-vague/implicit-ap.md.out b/...tests/implicit-n-vague/implicit-ap.md.out → ...tests/implicit-n-vague/implicit-ap.md.out
diff --git a/...ts/implicit-n-vague/implicit-fn.error.cic → ...ts/implicit-n-vague/implicit-fn.error.cic b/...ts/implicit-n-vague/implicit-fn.error.cic → ...ts/implicit-n-vague/implicit-fn.error.cic
diff --git a/...mplicit-n-vague/implicit-fn.error.cic.err → ...mplicit-n-vague/implicit-fn.error.cic.err b/...mplicit-n-vague/implicit-fn.error.cic.err → ...mplicit-n-vague/implicit-fn.error.cic.err
diff --git a/old/tests/implicit-n-vague/implicit-fn.md → ...old/tests/implicit-n-vague/implicit-fn.md b/old/tests/implicit-n-vague/implicit-fn.md → ...old/tests/implicit-n-vague/implicit-fn.md
diff --git a/...tests/implicit-n-vague/implicit-fn.md.out → ...tests/implicit-n-vague/implicit-fn.md.out b/...tests/implicit-n-vague/implicit-fn.md.out → ...tests/implicit-n-vague/implicit-fn.md.out
diff --git a/old/tests/implicit-n-vague/implicit-pi.md → ...old/tests/implicit-n-vague/implicit-pi.md b/old/tests/implicit-n-vague/implicit-pi.md → ...old/tests/implicit-n-vague/implicit-pi.md
diff --git a/...tests/implicit-n-vague/implicit-pi.md.out → ...tests/implicit-n-vague/implicit-pi.md.out b/...tests/implicit-n-vague/implicit-pi.md.out → ...tests/implicit-n-vague/implicit-pi.md.out
diff --git a/old/tests/implicit-n-vague/vague-fn.md → docs/old/tests/implicit-n-vague/vague-fn.md b/old/tests/implicit-n-vague/vague-fn.md → docs/old/tests/implicit-n-vague/vague-fn.md
diff --git a/old/tests/implicit-n-vague/vague-fn.md.out → ...ld/tests/implicit-n-vague/vague-fn.md.out b/old/tests/implicit-n-vague/vague-fn.md.out → ...ld/tests/implicit-n-vague/vague-fn.md.out
diff --git a/old/tests/implicit-n-vague/vague-pi.md → docs/old/tests/implicit-n-vague/vague-pi.md b/old/tests/implicit-n-vague/vague-pi.md → docs/old/tests/implicit-n-vague/vague-pi.md
diff --git a/old/tests/implicit-n-vague/vague-pi.md.out → ...ld/tests/implicit-n-vague/vague-pi.md.out b/old/tests/implicit-n-vague/vague-pi.md.out → ...ld/tests/implicit-n-vague/vague-pi.md.out
diff --git a/old/tests/module/import/a.cic → docs/old/tests/module/import/a.cic b/old/tests/module/import/a.cic → docs/old/tests/module/import/a.cic
diff --git a/old/tests/module/import/a.cic.out → docs/old/tests/module/import/a.cic.out b/old/tests/module/import/a.cic.out → docs/old/tests/module/import/a.cic.out
diff --git a/old/tests/module/import/b.cic → docs/old/tests/module/import/b.cic b/old/tests/module/import/b.cic → docs/old/tests/module/import/b.cic
diff --git a/old/tests/module/import/b.cic.out → docs/old/tests/module/import/b.cic.out b/old/tests/module/import/b.cic.out → docs/old/tests/module/import/b.cic.out
diff --git a/old/tests/module/import/c.cic → docs/old/tests/module/import/c.cic b/old/tests/module/import/c.cic → docs/old/tests/module/import/c.cic
diff --git a/old/tests/module/import/c.cic.out → docs/old/tests/module/import/c.cic.out b/old/tests/module/import/c.cic.out → docs/old/tests/module/import/c.cic.out
diff --git a/...s/module/import/circular-import.error.cic → ...s/module/import/circular-import.error.cic b/...s/module/import/circular-import.error.cic → ...s/module/import/circular-import.error.cic
diff --git a/...dule/import/circular-import.error.cic.err → ...dule/import/circular-import.error.cic.err b/...dule/import/circular-import.error.cic.err → ...dule/import/circular-import.error.cic.err
diff --git a/std/boolean-lattice/BooleanLattice.cic → docs/std/boolean-lattice/BooleanLattice.cic b/std/boolean-lattice/BooleanLattice.cic → docs/std/boolean-lattice/BooleanLattice.cic
diff --git a/std/boolean-lattice/absorb.cic → docs/std/boolean-lattice/absorb.cic b/std/boolean-lattice/absorb.cic → docs/std/boolean-lattice/absorb.cic
diff --git a/std/boolean-lattice/associative.todo.cic → .../std/boolean-lattice/associative.todo.cic b/std/boolean-lattice/associative.todo.cic → .../std/boolean-lattice/associative.todo.cic
diff --git a/std/boolean-lattice/booleanDomain.cic → docs/std/boolean-lattice/booleanDomain.cic b/std/boolean-lattice/booleanDomain.cic → docs/std/boolean-lattice/booleanDomain.cic
diff --git a/std/boolean-lattice/bound.cic → docs/std/boolean-lattice/bound.cic b/std/boolean-lattice/bound.cic → docs/std/boolean-lattice/bound.cic
diff --git a/std/boolean-lattice/dual.cic → docs/std/boolean-lattice/dual.cic b/std/boolean-lattice/dual.cic → docs/std/boolean-lattice/dual.cic
diff --git a/std/boolean-lattice/dualInvolutive.cic → docs/std/boolean-lattice/dualInvolutive.cic b/std/boolean-lattice/dualInvolutive.cic → docs/std/boolean-lattice/dualInvolutive.cic
diff --git a/std/boolean-lattice/idempotent.cic → docs/std/boolean-lattice/idempotent.cic b/std/boolean-lattice/idempotent.cic → docs/std/boolean-lattice/idempotent.cic
diff --git a/std/boolean-lattice/order.cic → docs/std/boolean-lattice/order.cic b/std/boolean-lattice/order.cic → docs/std/boolean-lattice/order.cic
diff --git a/std/boolean-lattice/uniqueId.cic → docs/std/boolean-lattice/uniqueId.cic b/std/boolean-lattice/uniqueId.cic → docs/std/boolean-lattice/uniqueId.cic
diff --git a/std/category/Category.cic → docs/std/category/Category.cic b/std/category/Category.cic → docs/std/category/Category.cic
diff --git a/std/category/Epimorphism.cic → docs/std/category/Epimorphism.cic b/std/category/Epimorphism.cic → docs/std/category/Epimorphism.cic
diff --git a/std/category/Functor.cic → docs/std/category/Functor.cic b/std/category/Functor.cic → docs/std/category/Functor.cic
diff --git a/std/category/Initial.cic → docs/std/category/Initial.cic b/std/category/Initial.cic → docs/std/category/Initial.cic
diff --git a/std/category/Isomorphism.cic → docs/std/category/Isomorphism.cic b/std/category/Isomorphism.cic → docs/std/category/Isomorphism.cic
diff --git a/std/category/Monomorphism.cic → docs/std/category/Monomorphism.cic b/std/category/Monomorphism.cic → docs/std/category/Monomorphism.cic
diff --git a/std/category/NaturalTransformation.cic → docs/std/category/NaturalTransformation.cic b/std/category/NaturalTransformation.cic → docs/std/category/NaturalTransformation.cic
diff --git a/std/category/Terminal.cic → docs/std/category/Terminal.cic b/std/category/Terminal.cic → docs/std/category/Terminal.cic
diff --git a/std/category/index.cic → docs/std/category/index.cic b/std/category/index.cic → docs/std/category/index.cic
diff --git a/std/category/terminalIsoUnique.cic → docs/std/category/terminalIsoUnique.cic b/std/category/terminalIsoUnique.cic → docs/std/category/terminalIsoUnique.cic
diff --git a/...ory/terminalIsoWithoutFulfillingClass.cic → ...ory/terminalIsoWithoutFulfillingClass.cic b/...ory/terminalIsoWithoutFulfillingClass.cic → ...ory/terminalIsoWithoutFulfillingClass.cic
diff --git a/...terminalIsoWithoutFulfillingClass.cic.out → ...terminalIsoWithoutFulfillingClass.cic.out b/...terminalIsoWithoutFulfillingClass.cic.out → ...terminalIsoWithoutFulfillingClass.cic.out
diff --git a/std/category/trivialCategory.cic → docs/std/category/trivialCategory.cic b/std/category/trivialCategory.cic → docs/std/category/trivialCategory.cic
diff --git a/std/equality/index.cic → docs/std/equality/index.cic b/std/equality/index.cic → docs/std/equality/index.cic
diff --git a/std/equality/utils.cic → docs/std/equality/utils.cic b/std/equality/utils.cic → docs/std/equality/utils.cic
diff --git a/std/group/Group.cic → docs/std/group/Group.cic b/std/group/Group.cic → docs/std/group/Group.cic
diff --git a/std/group/GroupHomomorphism.cic → docs/std/group/GroupHomomorphism.cic b/std/group/GroupHomomorphism.cic → docs/std/group/GroupHomomorphism.cic
diff --git a/std/group/GroupHomomorphism.test.cic → docs/std/group/GroupHomomorphism.test.cic b/std/group/GroupHomomorphism.test.cic → docs/std/group/GroupHomomorphism.test.cic
diff --git a/std/group/GroupHomomorphism.test.cic.out → .../std/group/GroupHomomorphism.test.cic.out b/std/group/GroupHomomorphism.test.cic.out → .../std/group/GroupHomomorphism.test.cic.out
diff --git a/std/group/Monoid.cic → docs/std/group/Monoid.cic b/std/group/Monoid.cic → docs/std/group/Monoid.cic
diff --git a/std/group/Semigroup.cic → docs/std/group/Semigroup.cic b/std/group/Semigroup.cic → docs/std/group/Semigroup.cic
diff --git a/...oup/SemigroupIntrinsicAssociative.todo.md → ...oup/SemigroupIntrinsicAssociative.todo.md b/...oup/SemigroupIntrinsicAssociative.todo.md → ...oup/SemigroupIntrinsicAssociative.todo.md
diff --git a/std/group/groupCategory.todo.cic → docs/std/group/groupCategory.todo.cic b/std/group/groupCategory.todo.cic → docs/std/group/groupCategory.todo.cic
diff --git a/std/group/index.cic → docs/std/group/index.cic b/std/group/index.cic → docs/std/group/index.cic
diff --git a/std/group/trivialGroup.cic → docs/std/group/trivialGroup.cic b/std/group/trivialGroup.cic → docs/std/group/trivialGroup.cic
diff --git a/std/group/trivialGroup.cic.out → docs/std/group/trivialGroup.cic.out b/std/group/trivialGroup.cic.out → docs/std/group/trivialGroup.cic.out
diff --git a/std/group/trivialSemigroup.cic → docs/std/group/trivialSemigroup.cic b/std/group/trivialSemigroup.cic → docs/std/group/trivialSemigroup.cic
diff --git a/std/group/trivialSemigroup.cic.out → docs/std/group/trivialSemigroup.cic.out b/std/group/trivialSemigroup.cic.out → docs/std/group/trivialSemigroup.cic.out
diff --git a/std/groupoid/Groupoid.cic → docs/std/groupoid/Groupoid.cic b/std/groupoid/Groupoid.cic → docs/std/groupoid/Groupoid.cic
diff --git a/std/groupoid/GroupoidLexicalScopeTest.cic → ...std/groupoid/GroupoidLexicalScopeTest.cic b/std/groupoid/GroupoidLexicalScopeTest.cic → ...std/groupoid/GroupoidLexicalScopeTest.cic
diff --git a/std/groupoid/trivialGroupoid.cic → docs/std/groupoid/trivialGroupoid.cic b/std/groupoid/trivialGroupoid.cic → docs/std/groupoid/trivialGroupoid.cic
diff --git a/std/groupoid/trivialGroupoid.cic.out → docs/std/groupoid/trivialGroupoid.cic.out b/std/groupoid/trivialGroupoid.cic.out → docs/std/groupoid/trivialGroupoid.cic.out
diff --git a/std/order/Order.todo.md → docs/std/order/Order.todo.md b/std/order/Order.todo.md → docs/std/order/Order.todo.md
diff --git a/std/order/StrictOrder.todo.md → docs/std/order/StrictOrder.todo.md b/std/order/StrictOrder.todo.md → docs/std/order/StrictOrder.todo.md
diff --git a/std/set/Set.cic → docs/std/set/Set.cic b/std/set/Set.cic → docs/std/set/Set.cic
diff --git a/tests/basic/equivalent.cic → docs/tests/basic/equivalent.cic b/tests/basic/equivalent.cic → docs/tests/basic/equivalent.cic
diff --git a/tests/basic/equivalent.cic.out → docs/tests/basic/equivalent.cic.out b/tests/basic/equivalent.cic.out → docs/tests/basic/equivalent.cic.out
diff --git a/tests/basic/let.cic → docs/tests/basic/let.cic b/tests/basic/let.cic → docs/tests/basic/let.cic
diff --git a/tests/basic/let.cic.out → docs/tests/basic/let.cic.out b/tests/basic/let.cic.out → docs/tests/basic/let.cic.out
diff --git a/tests/basic/the.cic → docs/tests/basic/the.cic b/tests/basic/the.cic → docs/tests/basic/the.cic
diff --git a/tests/basic/the.cic.out → docs/tests/basic/the.cic.out b/tests/basic/the.cic.out → docs/tests/basic/the.cic.out
diff --git a/tests/class/inheritance/abc-extends.cic → docs/tests/class/inheritance/abc-extends.cic b/tests/class/inheritance/abc-extends.cic → docs/tests/class/inheritance/abc-extends.cic
diff --git a/tests/class/inheritance/abc-extends.cic.out → ...sts/class/inheritance/abc-extends.cic.out b/tests/class/inheritance/abc-extends.cic.out → ...sts/class/inheritance/abc-extends.cic.out
diff --git a/tests/class/inheritance/order-inlined.cic → ...tests/class/inheritance/order-inlined.cic b/tests/class/inheritance/order-inlined.cic → ...tests/class/inheritance/order-inlined.cic
diff --git a/...s/class/inheritance/order-inlined.cic.out → ...s/class/inheritance/order-inlined.cic.out b/...s/class/inheritance/order-inlined.cic.out → ...s/class/inheritance/order-inlined.cic.out
diff --git a/tests/class/inheritance/order.cic → docs/tests/class/inheritance/order.cic b/tests/class/inheritance/order.cic → docs/tests/class/inheritance/order.cic
diff --git a/tests/module/a.cic → docs/tests/module/a.cic b/tests/module/a.cic → docs/tests/module/a.cic
diff --git a/tests/module/a.cic.out → docs/tests/module/a.cic.out b/tests/module/a.cic.out → docs/tests/module/a.cic.out
diff --git a/tests/module/b.cic → docs/tests/module/b.cic b/tests/module/b.cic → docs/tests/module/b.cic
diff --git a/tests/module/b.cic.out → docs/tests/module/b.cic.out b/tests/module/b.cic.out → docs/tests/module/b.cic.out
diff --git a/tests/module/c.cic → docs/tests/module/c.cic b/tests/module/c.cic → docs/tests/module/c.cic
diff --git a/tests/module/c.cic.out → docs/tests/module/c.cic.out b/tests/module/c.cic.out → docs/tests/module/c.cic.out
diff --git a/tests/module/circular-import.error.cic → docs/tests/module/circular-import.error.cic b/tests/module/circular-import.error.cic → docs/tests/module/circular-import.error.cic
diff --git a/tests/module/circular-import.error.cic.err → ...ests/module/circular-import.error.cic.err b/tests/module/circular-import.error.cic.err → ...ests/module/circular-import.error.cic.err
diff --git a/tests/scripts/markdown-script.md → docs/tests/scripts/markdown-script.md b/tests/scripts/markdown-script.md → docs/tests/scripts/markdown-script.md
diff --git a/tests/scripts/markdown-script.md.out → docs/tests/scripts/markdown-script.md.out b/tests/scripts/markdown-script.md.out → docs/tests/scripts/markdown-script.md.out
diff --git a/package.json b/package.json
@@ -14,10 +14,10 @@
     "build": "tsc",
     "build:watch": "tsc --watch",
     "test:ts": "vitest --dir src --run",
-    "test:cic:tests": "test-runner snapshot 'node ./bin/cic.js --no-color' 'tests/**/*.(cic|md)' --exclude 'tests/**/*.(error|todo).(cic|md)'",
-    "test:cic:tests-error": "test-runner snapshot-error 'node ./bin/cic.js --no-color' 'tests/**/*.error.(cic|md)'",
-    "test:cic:std": "test-runner snapshot 'node ./bin/cic.js --no-color' 'std/**/*.(cic|md)' --exclude 'std/**/*.(error|todo).(cic|md)'",
-    "test:cic:std-error": "test-runner snapshot-error 'node ./bin/cic.js --no-color' 'std/**/*.error.(cic|md)'",
+    "test:cic:tests": "test-runner snapshot 'node ./bin/cic.js --no-color' 'docs/tests/**/*.(cic|md)' --exclude 'tests/**/*.(error|todo).(cic|md)'",
+    "test:cic:tests-error": "test-runner snapshot-error 'node ./bin/cic.js --no-color' 'docs/tests/**/*.error.(cic|md)'",
+    "test:cic:std": "test-runner snapshot 'node ./bin/cic.js --no-color' 'docs/std/**/*.(cic|md)' --exclude 'docs/std/**/*.(error|todo).(cic|md)'",
+    "test:cic:std-error": "test-runner snapshot-error 'node ./bin/cic.js --no-color' 'docs/std/**/*.error.(cic|md)'",
     "test:cic": "npm run test:cic:tests && npm run test:cic:tests-error && npm run test:cic:std && npm run test:cic:std-error",
     "test": "npm run test:ts && npm run test:cic",
     "format": "prettier src --write"