data/agda-stdlib-1.3/CHANGELOG.md:61: machinary ==> machinery data/agda-stdlib-1.3/CHANGELOG.md:473: Interchangable ==> Interchangeable data/agda-stdlib-1.3/CHANGELOG/v0.14.md:37: unneccessary ==> unnecessary data/agda-stdlib-1.3/CHANGELOG/v0.14.md:102: compatability ==> compatibility data/agda-stdlib-1.3/CHANGELOG/v0.14.md:110: compatability ==> compatibility data/agda-stdlib-1.3/CHANGELOG/v0.14.md:113: occured ==> occurred data/agda-stdlib-1.3/CHANGELOG/v0.14.md:419: upTo ==> up to data/agda-stdlib-1.3/CHANGELOG/v0.15.md:35: compatability ==> compatibility data/agda-stdlib-1.3/CHANGELOG/v0.15.md:49: compatability ==> compatibility data/agda-stdlib-1.3/CHANGELOG/v0.15.md:62: compatability ==> compatibility data/agda-stdlib-1.3/CHANGELOG/v0.16.md:57: heirarchy ==> hierarchy data/agda-stdlib-1.3/CHANGELOG/v1.0.md:147: compatability ==> compatibility data/agda-stdlib-1.3/CHANGELOG/v1.0.md:296: compatability ==> compatibility data/agda-stdlib-1.3/CHANGELOG/v1.0.md:451: substraction ==> subtraction data/agda-stdlib-1.3/CHANGELOG/v1.0.md:971: upTo ==> up to data/agda-stdlib-1.3/CHANGELOG/v1.0.md:977: upTo ==> up to data/agda-stdlib-1.3/CHANGELOG/v1.0.md:1310: heterogenous ==> heterogeneous data/agda-stdlib-1.3/CHANGELOG/v1.1.md:50: accidently ==> accidentally data/agda-stdlib-1.3/CHANGELOG/v1.1.md:65: ambigous ==> ambiguous data/agda-stdlib-1.3/CHANGELOG/v1.1.md:112: compatability ==> compatibility data/agda-stdlib-1.3/CHANGELOG/v1.1.md:123: occured ==> occurred data/agda-stdlib-1.3/CHANGELOG/v1.2.md:47: hiearchy ==> hierarchy data/agda-stdlib-1.3/CHANGELOG/v1.2.md:379: funciton ==> function data/agda-stdlib-1.3/README/Data.agda:198: wee ==> we data/agda-stdlib-1.3/README/Inspect.agda:94: occurences ==> occurrences data/agda-stdlib-1.3/README/Data/List/Fresh.agda:31: inferrable ==> inferable data/agda-stdlib-1.3/README/Data/Trie/NonDependent.agda:4: wee ==> we data/agda-stdlib-1.3/README/Function/Reasoning.agda:64: rever ==> revert, fever data/agda-stdlib-1.3/notes/style-guide.md:214: obselete ==> obsolete data/agda-stdlib-1.3/src/Algebra/Definitions.agda:121: Interchangable ==> Interchangeable data/agda-stdlib-1.3/src/Algebra/Definitions.agda:122: Interchangable ==> Interchangeable data/agda-stdlib-1.3/src/Algebra/Properties/CommutativeMonoid.agda:31: TE ==> THE, BE, WE data/agda-stdlib-1.3/src/Algebra/Properties/CommutativeMonoid.agda:56: TE ==> THE, BE, WE data/agda-stdlib-1.3/src/Axiom/DoubleNegationElimination.agda:30: dne ==> done data/agda-stdlib-1.3/src/Axiom/DoubleNegationElimination.agda:31: dne ==> done data/agda-stdlib-1.3/src/Axiom/DoubleNegationElimination.agda:33: dne ==> done data/agda-stdlib-1.3/src/Axiom/DoubleNegationElimination.agda:34: dne ==> done data/agda-stdlib-1.3/src/Axiom/DoubleNegationElimination.agda:34: dne ==> done data/agda-stdlib-1.3/src/Axiom/DoubleNegationElimination.agda:34: dne ==> done data/agda-stdlib-1.3/src/Data/AVL.agda:37: publically ==> publicly data/agda-stdlib-1.3/src/Data/Refinement.agda:28: mimick ==> mimic data/agda-stdlib-1.3/src/Data/Bool/Properties.agda:604: BA ==> BY, BE data/agda-stdlib-1.3/src/Data/Bool/Properties.agda:605: BA ==> BY, BE data/agda-stdlib-1.3/src/Data/Fin/Subset/Properties.agda:16: BA ==> BY, BE data/agda-stdlib-1.3/src/Data/Fin/Subset/Properties.agda:705: BA ==> BY, BE data/agda-stdlib-1.3/src/Data/Fin/Subset/Properties.agda:708: BA ==> BY, BE data/agda-stdlib-1.3/src/Data/Float/Base.agda:17: publically ==> publicly data/agda-stdlib-1.3/src/Data/List/Base.agda:209: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Base.agda:210: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Properties.agda:454: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:454: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:454: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:458: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:459: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:459: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:459: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:463: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:464: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:465: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:465: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:466: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:466: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:467: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:468: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:468: pres ==> press data/agda-stdlib-1.3/src/Data/List/Properties.agda:564: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Properties.agda:566: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Properties.agda:569: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Kleene/AsList.agda:43: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Kleene/AsList.agda:43: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Kleene/Base.agda:291: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Kleene/Base.agda:292: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Kleene/Base.agda:294: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Kleene/Base.agda:295: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Membership/Setoid/Properties.agda:130: pres ==> press data/agda-stdlib-1.3/src/Data/List/Membership/Setoid/Properties.agda:130: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Equality/DecPropositional.agda:25: Publically ==> Publicly data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Equality/Setoid.agda:99: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Equality/Setoid.agda:99: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Lex/NonStrict.agda:27: Publically ==> Publicly data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:52: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:52: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:53: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:53: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:54: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:54: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:55: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:55: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:58: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:58: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:60: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:60: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:63: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:63: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:64: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda:64: wit ==> with data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:153: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:153: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:154: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:154: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:154: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:155: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:155: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:155: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:155: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:156: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:156: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda:156: pres ==> press data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/Setoid.agda:113: minimial ==> minimal data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda:66: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda:79: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda:81: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda:81: upTo ==> up to data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda:82: upTo ==> up to data/agda-stdlib-1.3/src/Data/Nat/DivMod.agda:30: implict ==> implicit data/agda-stdlib-1.3/src/Data/Product/Categorical/Left.agda:31: publically ==> publicly data/agda-stdlib-1.3/src/Data/Product/Categorical/Right.agda:31: publically ==> publicly data/agda-stdlib-1.3/src/Data/Rational/Base.agda:34: compatability ==> compatibility data/agda-stdlib-1.3/src/Data/Star/Decoration.agda:82: Alls ==> All, falls data/agda-stdlib-1.3/src/Data/Tree/Binary.agda:37: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Tree/Binary.agda:38: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Tree/Binary.agda:38: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Tree/Binary.agda:38: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Tree/Binary.agda:38: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:70: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:70: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:71: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:72: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:96: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:97: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:98: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:102: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:123: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:124: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:140: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:141: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:147: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:158: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:158: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:162: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda:162: nd ==> and, 2nd data/agda-stdlib-1.3/src/Data/Vec/Relation/Binary/Equality/Propositional.agda:21: Publically ==> Publicly data/agda-stdlib-1.3/src/Foreign/Haskell/Coerce.agda:16: libary ==> library data/agda-stdlib-1.3/src/Function/Inverse.agda:168: pres ==> press data/agda-stdlib-1.3/src/Function/Inverse.agda:171: pres ==> press data/agda-stdlib-1.3/src/Function/Inverse.agda:185: pres ==> press data/agda-stdlib-1.3/src/Function/Inverse.agda:188: pres ==> press data/agda-stdlib-1.3/src/Reflection/Abstraction.agda:25: publically ==> publicly data/agda-stdlib-1.3/src/Reflection/Definition.agda:29: publically ==> publicly data/agda-stdlib-1.3/src/Reflection/Name.agda:24: toWords ==> towards data/agda-stdlib-1.3/src/Reflection/Name.agda:41: toWords ==> towards data/agda-stdlib-1.3/src/Reflection/Name.agda:46: toWords ==> towards data/agda-stdlib-1.3/src/Reflection/Name.agda:49: toWords ==> towards data/agda-stdlib-1.3/src/Reflection/Argument/Information.agda:22: publically ==> publicly data/agda-stdlib-1.3/src/Reflection/Argument/Relevance.agda:16: publically ==> publicly data/agda-stdlib-1.3/src/Reflection/Argument/Visibility.agda:17: publically ==> publicly data/agda-stdlib-1.3/src/Relation/Nary.agda:46: inferrable ==> inferable data/agda-stdlib-1.3/src/Relation/Unary.agda:171: satifies ==> satisfies data/agda-stdlib-1.3/src/Relation/Binary/PropositionalEquality.agda:4: intensional ==> intentional data/agda-stdlib-1.3/src/Relation/Binary/Structures.agda:44: compatability ==> compatibility data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/NatSet.agda:10: accross ==> across data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Base.agda:72: analagous ==> analogous