[ fix #1743 ] move README to doc/ directory

agda · Oct 30, 2023 · 67b688c · 67b688c
1 parent f0d7085
commit 67b688c
Show file tree

Hide file tree

Showing 48 changed files with 4 additions and 0 deletions.
diff --git a/README.agda → doc/README.agda b/README.agda → doc/README.agda
diff --git a/README/Axiom.agda → doc/README/Axiom.agda b/README/Axiom.agda → doc/README/Axiom.agda
diff --git a/README/Case.agda → doc/README/Case.agda b/README/Case.agda → doc/README/Case.agda
diff --git a/README/Data.agda → doc/README/Data.agda b/README/Data.agda → doc/README/Data.agda
diff --git a/README/Data/Container/FreeMonad.agda → doc/README/Data/Container/FreeMonad.agda b/README/Data/Container/FreeMonad.agda → doc/README/Data/Container/FreeMonad.agda
diff --git a/README/Data/Container/Indexed.agda → doc/README/Data/Container/Indexed.agda b/README/Data/Container/Indexed.agda → doc/README/Data/Container/Indexed.agda
diff --git a/README/Data/Default.agda → doc/README/Data/Default.agda b/README/Data/Default.agda → doc/README/Data/Default.agda
diff --git a/README/Data/Fin/Relation/Unary/Top.agda → doc/README/Data/Fin/Relation/Unary/Top.agda b/README/Data/Fin/Relation/Unary/Top.agda → doc/README/Data/Fin/Relation/Unary/Top.agda
diff --git a/.../Data/Fin/Substitution/UntypedLambda.agda → .../Data/Fin/Substitution/UntypedLambda.agda b/.../Data/Fin/Substitution/UntypedLambda.agda → .../Data/Fin/Substitution/UntypedLambda.agda
diff --git a/README/Data/Integer.agda → doc/README/Data/Integer.agda b/README/Data/Integer.agda → doc/README/Data/Integer.agda
diff --git a/README/Data/List.agda → doc/README/Data/List.agda b/README/Data/List.agda → doc/README/Data/List.agda
diff --git a/README/Data/List/Fresh.agda → doc/README/Data/List/Fresh.agda b/README/Data/List/Fresh.agda → doc/README/Data/List/Fresh.agda
diff --git a/README/Data/List/Membership.agda → doc/README/Data/List/Membership.agda b/README/Data/List/Membership.agda → doc/README/Data/List/Membership.agda
diff --git a/...E/Data/List/Relation/Binary/Equality.agda → ...E/Data/List/Relation/Binary/Equality.agda b/...E/Data/List/Relation/Binary/Equality.agda → ...E/Data/List/Relation/Binary/Equality.agda
diff --git a/...ata/List/Relation/Binary/Permutation.agda → ...ata/List/Relation/Binary/Permutation.agda b/...ata/List/Relation/Binary/Permutation.agda → ...ata/List/Relation/Binary/Permutation.agda
diff --git a/.../Data/List/Relation/Binary/Pointwise.agda → .../Data/List/Relation/Binary/Pointwise.agda b/.../Data/List/Relation/Binary/Pointwise.agda → .../Data/List/Relation/Binary/Pointwise.agda
diff --git a/README/Data/List/Relation/Binary/Subset.agda → ...DME/Data/List/Relation/Binary/Subset.agda b/README/Data/List/Relation/Binary/Subset.agda → ...DME/Data/List/Relation/Binary/Subset.agda
diff --git a/...a/List/Relation/Ternary/Interleaving.agda → ...a/List/Relation/Ternary/Interleaving.agda b/...a/List/Relation/Ternary/Interleaving.agda → ...a/List/Relation/Ternary/Interleaving.agda
diff --git a/README/Data/List/Relation/Unary/All.agda → doc/README/Data/List/Relation/Unary/All.agda b/README/Data/List/Relation/Unary/All.agda → doc/README/Data/List/Relation/Unary/All.agda
diff --git a/README/Data/List/Relation/Unary/Any.agda → doc/README/Data/List/Relation/Unary/Any.agda b/README/Data/List/Relation/Unary/Any.agda → doc/README/Data/List/Relation/Unary/Any.agda
diff --git a/README/Data/Nat.agda → doc/README/Data/Nat.agda b/README/Data/Nat.agda → doc/README/Data/Nat.agda
diff --git a/README/Data/Nat/Induction.agda → doc/README/Data/Nat/Induction.agda b/README/Data/Nat/Induction.agda → doc/README/Data/Nat/Induction.agda
diff --git a/README/Data/Record.agda → doc/README/Data/Record.agda b/README/Data/Record.agda → doc/README/Data/Record.agda
diff --git a/README/Data/Tree/AVL.agda → doc/README/Data/Tree/AVL.agda b/README/Data/Tree/AVL.agda → doc/README/Data/Tree/AVL.agda
diff --git a/README/Data/Tree/Binary.agda → doc/README/Data/Tree/Binary.agda b/README/Data/Tree/Binary.agda → doc/README/Data/Tree/Binary.agda
diff --git a/README/Data/Tree/Rose.agda → doc/README/Data/Tree/Rose.agda b/README/Data/Tree/Rose.agda → doc/README/Data/Tree/Rose.agda
diff --git a/README/Data/Trie/NonDependent.agda → doc/README/Data/Trie/NonDependent.agda b/README/Data/Trie/NonDependent.agda → doc/README/Data/Trie/NonDependent.agda
diff --git a/...ta/Vec/Relation/Binary/Equality/Cast.agda → ...ta/Vec/Relation/Binary/Equality/Cast.agda b/...ta/Vec/Relation/Binary/Equality/Cast.agda → ...ta/Vec/Relation/Binary/Equality/Cast.agda
diff --git a/README/Data/Wrap.agda → doc/README/Data/Wrap.agda b/README/Data/Wrap.agda → doc/README/Data/Wrap.agda
diff --git a/README/Debug/Trace.agda → doc/README/Debug/Trace.agda b/README/Debug/Trace.agda → doc/README/Debug/Trace.agda
diff --git a/README/Design/Decidability.agda → doc/README/Design/Decidability.agda b/README/Design/Decidability.agda → doc/README/Design/Decidability.agda
diff --git a/README/Design/Fixity.agda → doc/README/Design/Fixity.agda b/README/Design/Fixity.agda → doc/README/Design/Fixity.agda
diff --git a/README/Design/Hierarchies.agda → doc/README/Design/Hierarchies.agda b/README/Design/Hierarchies.agda → doc/README/Design/Hierarchies.agda
diff --git a/README/Foreign/Haskell.agda → doc/README/Foreign/Haskell.agda b/README/Foreign/Haskell.agda → doc/README/Foreign/Haskell.agda
diff --git a/README/Function/Reasoning.agda → doc/README/Function/Reasoning.agda b/README/Function/Reasoning.agda → doc/README/Function/Reasoning.agda
diff --git a/README/IO.agda → doc/README/IO.agda b/README/IO.agda → doc/README/IO.agda
diff --git a/README/Inspect.agda → doc/README/Inspect.agda b/README/Inspect.agda → doc/README/Inspect.agda
diff --git a/README/Nary.agda → doc/README/Nary.agda b/README/Nary.agda → doc/README/Nary.agda
diff --git a/README/Reflection/External.agda → doc/README/Reflection/External.agda b/README/Reflection/External.agda → doc/README/Reflection/External.agda
diff --git a/README/Relation/Binary/TypeClasses.agda → doc/README/Relation/Binary/TypeClasses.agda b/README/Relation/Binary/TypeClasses.agda → doc/README/Relation/Binary/TypeClasses.agda
diff --git a/README/Tactic/Cong.agda → doc/README/Tactic/Cong.agda b/README/Tactic/Cong.agda → doc/README/Tactic/Cong.agda
diff --git a/README/Tactic/MonoidSolver.agda → doc/README/Tactic/MonoidSolver.agda b/README/Tactic/MonoidSolver.agda → doc/README/Tactic/MonoidSolver.agda
diff --git a/README/Tactic/RingSolver.agda → doc/README/Tactic/RingSolver.agda b/README/Tactic/RingSolver.agda → doc/README/Tactic/RingSolver.agda
diff --git a/README/Text/Pretty.agda → doc/README/Text/Pretty.agda b/README/Text/Pretty.agda → doc/README/Text/Pretty.agda
diff --git a/README/Text/Printf.agda → doc/README/Text/Printf.agda b/README/Text/Printf.agda → doc/README/Text/Printf.agda
diff --git a/README/Text/Regex.agda → doc/README/Text/Regex.agda b/README/Text/Regex.agda → doc/README/Text/Regex.agda
diff --git a/README/Text/Tabular.agda → doc/README/Text/Tabular.agda b/README/Text/Tabular.agda → doc/README/Text/Tabular.agda
diff --git a/doc/standard-library-doc.agda-lib b/doc/standard-library-doc.agda-lib
@@ -0,0 +1,4 @@
+name: standard-library-doc
+include: . ../src
+flags:
+  --warning=noUnsupportedIndexedMatch