data/agda-stdlib-1.3/.boring: ASCII text data/agda-stdlib-1.3/.gitattributes: ASCII text data/agda-stdlib-1.3/.gitignore: ASCII text data/agda-stdlib-1.3/.mailmap: UTF-8 Unicode text data/agda-stdlib-1.3/.travis.yml: ASCII text data/agda-stdlib-1.3/AllNonAsciiChars.hs: ASCII text data/agda-stdlib-1.3/CHANGELOG.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v0.01.md: ASCII text data/agda-stdlib-1.3/CHANGELOG/v0.02.md: ASCII text data/agda-stdlib-1.3/CHANGELOG/v0.03.md: ASCII text data/agda-stdlib-1.3/CHANGELOG/v0.04.md: ASCII text data/agda-stdlib-1.3/CHANGELOG/v0.05.md: ASCII text data/agda-stdlib-1.3/CHANGELOG/v0.06.md: ASCII text data/agda-stdlib-1.3/CHANGELOG/v0.07.md: ASCII text data/agda-stdlib-1.3/CHANGELOG/v0.08.1.md: ASCII text data/agda-stdlib-1.3/CHANGELOG/v0.08.md: ASCII text data/agda-stdlib-1.3/CHANGELOG/v0.09.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v0.10.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v0.11.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v0.12.md: ASCII text data/agda-stdlib-1.3/CHANGELOG/v0.13.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v0.14.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v0.15.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v0.16.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v0.17.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v1.0.1.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v1.0.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v1.1.md: UTF-8 Unicode text data/agda-stdlib-1.3/CHANGELOG/v1.2.md: UTF-8 Unicode text data/agda-stdlib-1.3/GNUmakefile: ASCII text data/agda-stdlib-1.3/GenerateEverything.hs: ASCII text data/agda-stdlib-1.3/HACKING.md: ASCII text data/agda-stdlib-1.3/Header: ASCII text data/agda-stdlib-1.3/LICENCE: UTF-8 Unicode text data/agda-stdlib-1.3/README.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README.md: ASCII text data/agda-stdlib-1.3/README/Axiom.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Case.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Data.agda: ASCII text data/agda-stdlib-1.3/README/Data/AVL.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Data/Container/FreeMonad.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Data/Container/Indexed.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Data/Integer.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Data/Interleaving.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Data/List.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Data/List/Fresh.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Data/Nat.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Data/Nat/Induction.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Data/Record.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Data/Trie/NonDependent.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Debug/Trace.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Decidability.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Foreign/Haskell.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Function/Reasoning.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Inspect.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Nary.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Tactic/MonoidSolver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Tactic/RingSolver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Text/Pretty.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Text/Printf.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Text/Tabular.agda: UTF-8 Unicode text data/agda-stdlib-1.3/README/Text/Tree.agda: UTF-8 Unicode text data/agda-stdlib-1.3/Setup.hs: ASCII text data/agda-stdlib-1.3/fix-whitespace.yaml: ASCII text data/agda-stdlib-1.3/lib.cabal: ASCII text data/agda-stdlib-1.3/notes/installation-guide.md: ASCII text data/agda-stdlib-1.3/notes/release-guide.txt: ASCII text data/agda-stdlib-1.3/notes/style-guide.md: UTF-8 Unicode text data/agda-stdlib-1.3/notes/updating-experimental.txt: ASCII text data/agda-stdlib-1.3/publish-listings.sh: Bourne-Again shell script, ASCII text executable data/agda-stdlib-1.3/src/Algebra.agda: ASCII text data/agda-stdlib-1.3/src/Algebra/Bundles.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Consequences/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Consequences/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Consequences/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Construct/LiftedChoice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Construct/NaturalChoice/Max.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Construct/NaturalChoice/Min.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Definitions.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/FunctionProperties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/FunctionProperties/Consequences.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/FunctionProperties/Consequences/Core.agda: ASCII text data/agda-stdlib-1.3/src/Algebra/FunctionProperties/Consequences/Propositional.agda: ASCII text data/agda-stdlib-1.3/src/Algebra/FunctionProperties/Core.agda: ASCII text data/agda-stdlib-1.3/src/Algebra/Module/Bundles.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Module/Consequences.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Module/Construct/TensorUnit.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Module/Construct/Zero.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Module/Definitions.agda: ASCII text data/agda-stdlib-1.3/src/Algebra/Module/Definitions/Bi.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Module/Definitions/Left.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Module/Definitions/Right.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Module/Structures.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Module/Structures/Biased.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Morphism.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Morphism/Definitions.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Morphism/GroupMonomorphism.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Morphism/MagmaMonomorphism.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Morphism/MonoidMonomorphism.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Morphism/RingMonomorphism.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Morphism/Structures.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Operations/CommutativeMonoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Operations/Ring.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Operations/Semiring.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Properties/AbelianGroup.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Properties/BooleanAlgebra.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Properties/BooleanAlgebra/Expression.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Properties/CommutativeMonoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Properties/CommutativeSemigroup.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Properties/DistributiveLattice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Properties/Group.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Properties/Lattice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Properties/Ring.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Properties/Semigroup.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Properties/Semilattice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Solver/CommutativeMonoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Solver/CommutativeMonoid/Example.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Solver/IdempotentCommutativeMonoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Solver/Monoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Solver/Ring.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Solver/Ring/AlmostCommutativeRing.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Solver/Ring/Lemmas.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Solver/Ring/NaturalCoefficients.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Solver/Ring/NaturalCoefficients/Default.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Solver/Ring/Simple.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Structures.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Algebra/Structures/Biased.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Axiom/DoubleNegationElimination.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Axiom/ExcludedMiddle.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Axiom/Extensionality/Heterogeneous.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Axiom/Extensionality/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Axiom/UniquenessOfIdentityProofs.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Axiom/UniquenessOfIdentityProofs/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Applicative.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Applicative/Indexed.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Applicative/Predicate.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Comonad.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Functor.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Functor/Predicate.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Monad.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Monad/Continuation.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Monad/Indexed.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Monad/Partiality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Monad/Partiality/All.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Monad/Predicate.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Monad/Reader.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Category/Monad/State.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Cofin.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Cofin/Literals.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Colist.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Colist/Bisimilarity.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Colist/Categorical.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Colist/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Conat.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Conat/Bisimilarity.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Conat/Literals.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Conat/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Covec.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Covec/Bisimilarity.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Covec/Categorical.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Covec/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Cowriter.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Cowriter/Bisimilarity.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Delay.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Delay/Bisimilarity.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Delay/Categorical.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Delay/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/M.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/M/Bisimilarity.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/M/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Musical/Cofin.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Musical/Colist.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Musical/Colist/Infinite-merge.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Musical/Conat.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Musical/Costring.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Musical/Covec.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Musical/M.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Musical/M/Indexed.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Musical/Notation.agda: ASCII text data/agda-stdlib-1.3/src/Codata/Musical/Stream.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Stream.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Stream/Bisimilarity.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Stream/Categorical.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Stream/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Codata/Thunk.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/AVL.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/AVL/Height.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/AVL/Indexed.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/AVL/Indexed/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/AVL/IndexedMap.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/AVL/Key.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/AVL/Map.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/AVL/NonEmpty.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/AVL/NonEmpty/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/AVL/Sets.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/AVL/Value.agda: Python script, UTF-8 Unicode text executable data/agda-stdlib-1.3/src/Data/Bin.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Bin/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Bool.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Bool/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Bool/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Bool/Show.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Bool/Solver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/BoundedVec.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/BoundedVec/Inefficient.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Char.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Char/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Char/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Any.agda: ASCII text data/agda-stdlib-1.3/src/Data/Container/Combinator.agda: Python script, UTF-8 Unicode text executable data/agda-stdlib-1.3/src/Data/Container/Combinator/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/FreeMonad.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Indexed.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Indexed/Combinator.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Indexed/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Indexed/FreeMonad.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Indexed/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Membership.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Morphism.agda: Python script, UTF-8 Unicode text executable data/agda-stdlib-1.3/src/Data/Container/Morphism/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Properties.agda: Python script, UTF-8 Unicode text executable data/agda-stdlib-1.3/src/Data/Container/Related.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Relation/Binary/Equality/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Relation/Binary/Pointwise.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Relation/Binary/Pointwise/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Relation/Unary/All.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Relation/Unary/Any.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Container/Relation/Unary/Any/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/DifferenceList.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/DifferenceNat.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/DifferenceVec.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Digit.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Empty.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Empty/Irrelevant.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Empty/Polymorphic.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Erased.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Dec.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Induction.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Literals.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Patterns.agda: ASCII text data/agda-stdlib-1.3/src/Data/Fin/Permutation.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Permutation/Components.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Reflection.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Subset.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Subset/Induction.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Subset/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Substitution.agda: Python script, UTF-8 Unicode text executable data/agda-stdlib-1.3/src/Data/Fin/Substitution/Example.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Substitution/Lemmas.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Fin/Substitution/List.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Float.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Float/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Float/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Graph/Acyclic.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer/Coprimality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer/DivMod.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer/Divisibility.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer/Divisibility/Signed.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer/GCD.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer/LCM.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer/Literals.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer/Solver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Integer/Tactic/RingSolver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/All.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/All/Properties.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Any.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Any/Properties.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Categorical.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Countdown.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Extrema.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Extrema/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Extrema/Nat.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Fresh.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Fresh/Membership/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Fresh/Membership/Setoid/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Fresh/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Fresh/Relation/Unary/All.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Fresh/Relation/Unary/All/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Fresh/Relation/Unary/Any.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Fresh/Relation/Unary/Any/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Kleene.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Kleene/AsList.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Kleene/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Literals.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Membership/DecPropositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Membership/DecSetoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Membership/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Membership/Propositional/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Membership/Propositional/Properties/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Membership/Propositional/Properties/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Membership/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Membership/Setoid/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/NonEmpty.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/NonEmpty/Categorical.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/NonEmpty/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/BagAndSetEquality.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/BagAndSetEquality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Disjoint/Propositional.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Disjoint/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Equality/DecPropositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Equality/DecSetoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Equality/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Equality/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Lex/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Lex/NonStrict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Lex/Strict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Homogeneous.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Inductive.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Inductive/Properties.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Pointwise.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Prefix/Heterogeneous.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/DecPropositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/DecSetoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/Propositional/Disjoint.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/Propositional/Example/UniqueBoundVariables.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Subset/Propositional.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Subset/Propositional/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Subset/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Subset/Setoid/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Suffix/Heterogeneous.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Equality/DecPropositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Equality/DecSetoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Equality/Propositional.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Equality/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Lex/Core.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Lex/NonStrict.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Lex/Strict.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Permutation/Inductive.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Permutation/Inductive/Properties.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Pointwise.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Sublist/Propositional.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Sublist/Propositional/Properties.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Subset/Propositional.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Subset/Propositional/Properties.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Subset/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Subset/Setoid/Properties.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Ternary/Interleaving.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Ternary/Interleaving/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Ternary/Interleaving/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Ternary/Interleaving/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/All.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/All/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/AllPairs.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/AllPairs/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/AllPairs/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Any.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Any/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/First.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/First/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Grouped.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Grouped/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Linked.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Linked/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Unique/Propositional.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Unique/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Relation/Unary/Unique/Setoid/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Reverse.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Solver.agda: ASCII text data/agda-stdlib-1.3/src/Data/List/Zipper.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/List/Zipper/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Maybe.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Maybe/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Maybe/Categorical.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Maybe/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Maybe/Relation/Binary/Pointwise.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Maybe/Relation/Unary/All.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Maybe/Relation/Unary/All/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Maybe/Relation/Unary/Any.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Binary.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Binary/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Binary/Induction.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Binary/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Coprimality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/DivMod.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/DivMod/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/DivMod/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Divisibility.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Divisibility/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/GCD.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/GCD/Lemmas.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/GeneralisedArithmetic.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Induction.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/InfinitelyOften.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/LCM.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Literals.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Primality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Reflection.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Show.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Solver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/Tactic/RingSolver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Nat/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Plus.agda: ASCII text data/agda-stdlib-1.3/src/Data/Product.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Categorical/Examples.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Categorical/Left.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Categorical/Left/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Categorical/Right.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Categorical/Right/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Function/Dependent/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Function/Dependent/Propositional/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Function/Dependent/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Function/Dependent/Setoid/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Function/NonDependent/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Function/NonDependent/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/N-ary.agda: ASCII text data/agda-stdlib-1.3/src/Data/Product/N-ary/Categorical.agda: ASCII text data/agda-stdlib-1.3/src/Data/Product/N-ary/Properties.agda: ASCII text data/agda-stdlib-1.3/src/Data/Product/Nary/NonDependent.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Properties/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Relation/Binary/Lex/NonStrict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Relation/Binary/Lex/Strict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Relation/Binary/Pointwise/Dependent.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Relation/Binary/Pointwise/NonDependent.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Product/Relation/Lex/NonStrict.agda: ASCII text data/agda-stdlib-1.3/src/Data/Product/Relation/Lex/Strict.agda: ASCII text data/agda-stdlib-1.3/src/Data/Product/Relation/Pointwise/Dependent.agda: ASCII text data/agda-stdlib-1.3/src/Data/Product/Relation/Pointwise/NonDependent.agda: ASCII text data/agda-stdlib-1.3/src/Data/Product/Relation/Unary/All.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Rational.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Rational/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Rational/Literals.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Rational/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Rational/Unnormalised.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Rational/Unnormalised/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Record.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Refinement.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Refinement/Relation/Unary/All.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/ReflexiveClosure.agda: ASCII text data/agda-stdlib-1.3/src/Data/Sign.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sign/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sign/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Star.agda: ASCII text data/agda-stdlib-1.3/src/Data/Star/BoundedVec.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Star/Decoration.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Star/Environment.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Star/Fin.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Star/List.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Star/Nat.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Star/Pointer.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Star/Properties.agda: ASCII text data/agda-stdlib-1.3/src/Data/Star/Vec.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/String.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/String/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/String/Literals.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/String/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/String/Unsafe.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sum.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sum/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sum/Categorical/Examples.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sum/Categorical/Left.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sum/Categorical/Right.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sum/Function/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sum/Function/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sum/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sum/Relation/Binary/LeftOrder.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sum/Relation/Binary/Pointwise.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Sum/Relation/LeftOrder.agda: ASCII text data/agda-stdlib-1.3/src/Data/Sum/Relation/Pointwise.agda: ASCII text data/agda-stdlib-1.3/src/Data/Table.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Table/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Table/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Table/Relation/Binary/Equality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Table/Relation/Equality.agda: ASCII text data/agda-stdlib-1.3/src/Data/These.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/These/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/These/Categorical/Left.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/These/Categorical/Left/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/These/Categorical/Right.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/These/Categorical/Right/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/These/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Tree/Binary.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Tree/Binary/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Tree/Binary/Relation/Unary/All.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Tree/Binary/Relation/Unary/All/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Tree/Rose.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Tree/Rose/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Trie.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Trie/NonEmpty.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Unit.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Unit/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Unit/NonEta.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Unit/Polymorphic.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Unit/Polymorphic/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Unit/Polymorphic/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Unit/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Universe.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Universe/Indexed.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/All.agda: ASCII text data/agda-stdlib-1.3/src/Data/Vec/All/Properties.agda: ASCII text data/agda-stdlib-1.3/src/Data/Vec/Any.agda: ASCII text data/agda-stdlib-1.3/src/Data/Vec/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Bounded.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Bounded/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Categorical.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Functional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Functional/Relation/Binary/Pointwise.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Functional/Relation/Binary/Pointwise/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Functional/Relation/Unary/All.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Functional/Relation/Unary/All/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Functional/Relation/Unary/Any.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Membership/DecPropositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Membership/DecSetoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Membership/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Membership/Propositional/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Membership/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/N-ary.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Properties/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Recursive.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Recursive/Categorical.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Recursive/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Binary/Equality/DecPropositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Binary/Equality/DecSetoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Binary/Equality/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Binary/Equality/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Binary/Pointwise/Extensional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Binary/Pointwise/Inductive.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Equality/DecPropositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Equality/DecSetoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Equality/Propositional.agda: ASCII text data/agda-stdlib-1.3/src/Data/Vec/Relation/Equality/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Pointwise/Extensional.agda: ASCII text data/agda-stdlib-1.3/src/Data/Vec/Relation/Pointwise/Inductive.agda: ASCII text data/agda-stdlib-1.3/src/Data/Vec/Relation/Unary/All.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Unary/All/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Unary/Any.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Vec/Relation/Unary/Any/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/W.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/W/Indexed.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/W/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Word.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Word/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Data/Word/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Debug/Trace.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Foreign/Haskell.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Foreign/Haskell/Coerce.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Foreign/Haskell/Either.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Foreign/Haskell/Maybe.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Foreign/Haskell/Pair.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function.agda: ASCII text data/agda-stdlib-1.3/src/Function/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Bijection.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Bundles.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Construct/Composition.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Construct/Identity.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Definitions.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Definitions/Core1.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Definitions/Core2.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Endomorphism/Propositional.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Endomorphism/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Equality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Equivalence.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/HalfAdjointEquivalence.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Identity/Categorical.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Injection.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Inverse.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/LeftInverse.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Nary/NonDependent.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Nary/NonDependent/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Reasoning.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Related.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Related/TypeIsomorphisms.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Related/TypeIsomorphisms/Solver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Structures.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Function/Surjection.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/IO.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/IO/Primitive.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Induction.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Induction/Lexicographic.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Induction/Nat.agda: ASCII text data/agda-stdlib-1.3/src/Induction/WellFounded.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Level.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Level/Literals.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Record.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Abstraction.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Argument.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Argument/Information.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Argument/Relevance.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Argument/Visibility.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Definition.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Literal.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Meta.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Name.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Pattern.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Show.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/Term.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Reflection/TypeChecking/MonadSyntax.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary.agda: ASCII text data/agda-stdlib-1.3/src/Relation/Binary/Bundles.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Consequences.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Add/Extrema/Equality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Add/Extrema/NonStrict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Add/Extrema/Strict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Add/Infimum/Equality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Add/Infimum/NonStrict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Add/Infimum/Strict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Add/Point/Equality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Add/Supremum/Equality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Add/Supremum/NonStrict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Add/Supremum/Strict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Always.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Closure/Equivalence.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Closure/Equivalence/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Closure/Reflexive.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Closure/Reflexive/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Closure/Symmetric.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Closure/Transitive.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Closure/Transitive/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Constant.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Converse.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Flip.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/FromPred.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/FromRel.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Intersection.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/NaturalOrder/Left.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/NaturalOrder/Right.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Never.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/NonStrictToStrict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/On.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/StrictToNonStrict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Construct/Union.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Definitions.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/EqReasoning.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/EquivalenceClosure.agda: ASCII text data/agda-stdlib-1.3/src/Relation/Binary/HeterogeneousEquality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/HeterogeneousEquality/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/HeterogeneousEquality/Quotients.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Heterogeneous.agda: ASCII text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Heterogeneous/Bundles.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Heterogeneous/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Heterogeneous/Definitions.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Heterogeneous/Structures.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Homogeneous.agda: ASCII text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Homogeneous/Bundles.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Homogeneous/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Homogeneous/Definitions.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Indexed/Homogeneous/Structures.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Lattice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Morphism.agda: ASCII text data/agda-stdlib-1.3/src/Relation/Binary/Morphism/Definitions.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Morphism/OrderMonomorphism.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Morphism/RelMonomorphism.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Morphism/Structures.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/OrderMorphism.agda: Python script, UTF-8 Unicode text executable data/agda-stdlib-1.3/src/Relation/Binary/PartialOrderReasoning.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/PreorderReasoning.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/BoundedJoinSemilattice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/BoundedLattice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/BoundedMeetSemilattice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/DecTotalOrder.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/DistributiveLattice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/HeytingAlgebra.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/JoinSemilattice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/Lattice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/MeetSemilattice.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/Poset.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/Preorder.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/StrictPartialOrder.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/StrictTotalOrder.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Properties/TotalOrder.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/PropositionalEquality.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/PropositionalEquality/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/PropositionalEquality/TrustMe.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/PropositionalEquality/WithK.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Reasoning/Base/Double.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Reasoning/Base/Partial.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Reasoning/Base/Single.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Reasoning/Base/Triple.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Reasoning/MultiSetoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Reasoning/PartialOrder.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Reasoning/PartialSetoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Reasoning/Preorder.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Reasoning/Setoid.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Reasoning/StrictPartialOrder.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Reflection.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Rewriting.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/SetoidReasoning.agda: ASCII text data/agda-stdlib-1.3/src/Relation/Binary/StrictPartialOrderReasoning.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/Structures.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Binary/SymmetricClosure.agda: ASCII text data/agda-stdlib-1.3/src/Relation/Nary.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Construct/Add/Extrema.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Construct/Add/Infimum.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Construct/Add/Point.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Construct/Add/Supremum.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Decidable.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Decidable/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Implication.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Negation.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Product.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Reflects.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Sum.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Nullary/Universe.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Unary.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Unary/Closure/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Unary/Closure/Preorder.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Unary/Closure/StrictPartialOrder.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Unary/Consequences.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Unary/Indexed.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Unary/PredicateTransformer.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Relation/Unary/Properties.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Size.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Strict.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/MonoidSolver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/AlmostCommutativeRing.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Expression.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/NatSet.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Addition.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Constants.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Exponentiation.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Lemmas.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Multiplication.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Negation.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Variables.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Parameters.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Reasoning.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/Polynomial/Semantics.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/Core/ReflectionHelp.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Tactic/RingSolver/NonReflective.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Text/Format.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Text/Pretty.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Text/Pretty/Core.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Text/Printf.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Text/Tabular/Base.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Text/Tabular/List.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Text/Tabular/Vec.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Text/Tree/Linear.agda: UTF-8 Unicode text data/agda-stdlib-1.3/src/Universe.agda: ASCII text data/agda-stdlib-1.3/standard-library.agda-lib: ASCII text data/agda-stdlib-1.3/travis/index.agda: ASCII text data/agda-stdlib-1.3/travis/index.sh: ASCII text data/agda-stdlib-1.3/travis/safe.agda: ASCII text data/agda-stdlib-1.3/debian/60agda-stdlib.el: Lisp/Scheme program, ASCII text data/agda-stdlib-1.3/debian/agda-stdlib-doc.docs: ASCII text data/agda-stdlib-1.3/debian/agda-stdlib.install: ASCII text data/agda-stdlib-1.3/debian/changelog: UTF-8 Unicode text data/agda-stdlib-1.3/debian/control: UTF-8 Unicode text data/agda-stdlib-1.3/debian/copyright: UTF-8 Unicode text data/agda-stdlib-1.3/debian/rules: a /usr/bin/make -f script, ASCII text executable data/agda-stdlib-1.3/debian/source/format: ASCII text data/agda-stdlib-1.3/debian/watch: ASCII text data/agda-stdlib-1.3/.pc/.version: ASCII text data/agda-stdlib-1.3/.pc/.quilt_patches: ASCII text data/agda-stdlib-1.3/.pc/.quilt_series: ASCII text data/agda-stdlib-1.3/.pc/applied-patches: empty