Copyrights and Licenses Information

path	start	end	what	value
Agda-stdlib/Agda-stdlib.spec	8	8	license	mit
Agda-stdlib/agda-stdlib-1.7.3/agda-stdlib-utils.cabal	6	6	license	mit
Agda-stdlib/agda-stdlib-1.7.3/LICENCE	12	29	license	mit

File Information

path	type	name	extension	date	size	sha1	md5	files_count	mime_type	file_type	programming_language	is_binary	is_text	is_archive	is_media	is_source	is_script
Agda-stdlib	directory
Agda-stdlib/agda-stdlib-1.7.3-SPECPARTS	directory
Agda-stdlib/agda-stdlib-1.7.3.tar.gz	file
Agda-stdlib/Agda-stdlib.spec	file
Agda-stdlib/changelog	file
Agda-stdlib/sources	file
Agda-stdlib/agda-stdlib-1.7.3	directory
Agda-stdlib/agda-stdlib-1.7.3/.boring	file
Agda-stdlib/agda-stdlib-1.7.3/.mailmap	file
Agda-stdlib/agda-stdlib-1.7.3/agda-stdlib-utils.cabal	file
Agda-stdlib/agda-stdlib-1.7.3/AllNonAsciiChars.hs	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG.md	file
Agda-stdlib/agda-stdlib-1.7.3/CITATION.cff	file
Agda-stdlib/agda-stdlib-1.7.3/fix-whitespace.yaml	file
Agda-stdlib/agda-stdlib-1.7.3/GenerateEverything.hs	file
Agda-stdlib/agda-stdlib-1.7.3/GNUmakefile	file
Agda-stdlib/agda-stdlib-1.7.3/graph.sh	file
Agda-stdlib/agda-stdlib-1.7.3/HACKING.md	file
Agda-stdlib/agda-stdlib-1.7.3/Header	file
Agda-stdlib/agda-stdlib-1.7.3/LICENCE	file
Agda-stdlib/agda-stdlib-1.7.3/publish-listings.sh	file
Agda-stdlib/agda-stdlib-1.7.3/README.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README.md	file
Agda-stdlib/agda-stdlib-1.7.3/Setup.hs	file
Agda-stdlib/agda-stdlib-1.7.3/stack-8.0.2.yaml	file
Agda-stdlib/agda-stdlib-1.7.3/stack-8.10.5.yaml	file
Agda-stdlib/agda-stdlib-1.7.3/stack-8.2.2.yaml	file
Agda-stdlib/agda-stdlib-1.7.3/stack-8.4.4.yaml	file
Agda-stdlib/agda-stdlib-1.7.3/stack-8.6.5.yaml	file
Agda-stdlib/agda-stdlib-1.7.3/stack-8.8.2.yaml	file
Agda-stdlib/agda-stdlib-1.7.3/stack-8.8.3.yaml	file
Agda-stdlib/agda-stdlib-1.7.3/standard-library.agda-lib	file
Agda-stdlib/agda-stdlib-1.7.3/.github	directory
Agda-stdlib/agda-stdlib-1.7.3/.github/workflows	directory
Agda-stdlib/agda-stdlib-1.7.3/.github/workflows/ci-ubuntu.yml	file
Agda-stdlib/agda-stdlib-1.7.3/.github/workflows/haskell-ci.yml	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG	directory
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.01.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.02.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.03.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.04.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.05.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.06.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.07.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.08.1.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.08.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.09.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.10.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.11.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.12.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.13.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.14.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.15.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.16.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v0.17.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v1.0.1.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v1.0.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v1.1.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v1.2.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v1.3.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v1.4.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v1.5.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v1.6.md	file
Agda-stdlib/agda-stdlib-1.7.3/CHANGELOG/v1.7.2.md	file
Agda-stdlib/agda-stdlib-1.7.3/notes	directory
Agda-stdlib/agda-stdlib-1.7.3/notes/installation-guide.md	file
Agda-stdlib/agda-stdlib-1.7.3/notes/release-guide.txt	file
Agda-stdlib/agda-stdlib-1.7.3/notes/style-guide.md	file
Agda-stdlib/agda-stdlib-1.7.3/notes/updating-experimental.txt	file
Agda-stdlib/agda-stdlib-1.7.3/README	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Axiom.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Case.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Inspect.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/IO.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Nary.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Integer.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Nat.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Record.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Wrap.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Container	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Container/FreeMonad.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Container/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Fresh.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Membership.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Relation/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Relation/Binary/Equality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Relation/Binary/Permutation.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Relation/Binary/Pointwise.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Relation/Binary/Subset.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Relation/Ternary	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Relation/Ternary/Interleaving.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/List/Relation/Unary/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Nat	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Nat/Induction.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Tree	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Tree/AVL.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Tree/Binary.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Tree/Rose.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Trie	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Data/Trie/NonDependent.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Debug	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Debug/Trace.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Design	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Design/Decidability.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Design/Fixity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Design/Hierarchies.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Foreign	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Foreign/Haskell.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Function	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Function/Reasoning.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Reflection	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Reflection/External.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Relation/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Relation/Binary/TypeClasses.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Tactic	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Tactic/MonoidSolver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Tactic/RingSolver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Text	directory
Agda-stdlib/agda-stdlib-1.7.3/README/Text/Pretty.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Text/Printf.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Text/Regex.agda	file
Agda-stdlib/agda-stdlib-1.7.3/README/Text/Tabular.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Induction.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/IO.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Level.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Record.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Size.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Strict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Universe.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Bundles.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Definitions.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/FunctionProperties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Morphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Structures.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Consequences	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Consequences/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Consequences/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Consequences/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/DirectProduct.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/LexProduct.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/LiftedChoice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/Zero.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/LexProduct	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/LexProduct/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/LexProduct/Inner.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/Max.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/MaxOp.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/Min.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/MinMaxOp.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/NaturalChoice/MinOp.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/Subst	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Construct/Subst/Equality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Definitions	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Definitions/RawMagma.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Definitions/RawMonoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Definitions/RawSemiring.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/FunctionProperties	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/FunctionProperties/Consequences.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/FunctionProperties/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/FunctionProperties/Consequences	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/FunctionProperties/Consequences/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/FunctionProperties/Consequences/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Bundles.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Consequences.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Definitions.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Structures.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Construct	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Construct/DirectProduct.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Construct/TensorUnit.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Construct/Zero.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Definitions	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Definitions/Bi.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Definitions/Left.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Definitions/Right.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Structures	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Module/Structures/Biased.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Morphism	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Morphism/Consequences.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Morphism/Definitions.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Morphism/GroupMonomorphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Morphism/LatticeMonomorphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Morphism/MagmaMonomorphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Morphism/MonoidMonomorphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Morphism/RingMonomorphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Morphism/Structures.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Operations	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Operations/CommutativeMonoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Operations/Ring.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Operations/Semiring.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/AbelianGroup.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/BooleanAlgebra.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CancellativeCommutativeSemiring.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMonoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeSemigroup.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/DistributiveLattice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Group.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Lattice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Ring.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semigroup.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semilattice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/BooleanAlgebra	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/BooleanAlgebra/Expression.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMagma	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMagma/Divisibility.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMonoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMonoid/Mult.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMonoid/Sum.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMonoid/Mult	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeMonoid/Mult/TCOptimised.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeSemigroup	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeSemigroup/Divisibility.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeSemiring	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeSemiring/Exp.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeSemiring/Exp	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/CommutativeSemiring/Exp/TCOptimised.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Magma	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Magma/Divisibility.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Monoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Monoid/Divisibility.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Monoid/Mult.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Monoid/Sum.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Monoid/Mult	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Monoid/Mult/TCOptimised.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semigroup	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semigroup/Divisibility.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Divisibility.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Exp.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Mult.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Primality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Sum.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Exp	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Exp/TCOptimised.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Mult	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Properties/Semiring/Mult/TCOptimised.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/CommutativeMonoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/IdempotentCommutativeMonoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/Monoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/Ring.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/CommutativeMonoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/CommutativeMonoid/Example.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/IdempotentCommutativeMonoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/Ring	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/Ring/AlmostCommutativeRing.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/Ring/Lemmas.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/Ring/NaturalCoefficients.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/Ring/Simple.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/Ring/NaturalCoefficients	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Solver/Ring/NaturalCoefficients/Default.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Structures	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Algebra/Structures/Biased.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Axiom	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Axiom/DoubleNegationElimination.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Axiom/ExcludedMiddle.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Axiom/UniquenessOfIdentityProofs.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Axiom/Extensionality	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Axiom/Extensionality/Heterogeneous.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Axiom/Extensionality/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Axiom/UniquenessOfIdentityProofs	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Axiom/UniquenessOfIdentityProofs/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Applicative.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Comonad.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Functor.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Monad.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Applicative	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Applicative/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Applicative/Predicate.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Functor	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Functor/Predicate.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Monad	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Monad/Continuation.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Monad/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Monad/Partiality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Monad/Predicate.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Monad/Reader.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Monad/State.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Monad/Partiality	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Monad/Partiality/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Category/Monad/Partiality/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Cofin.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Colist.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Conat.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Covec.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Cowriter.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Delay.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/M.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Stream.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Thunk.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Cofin	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Cofin/Literals.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Colist	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Colist/Bisimilarity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Colist/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Colist/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Conat	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Conat/Bisimilarity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Conat/Literals.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Conat/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Covec	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Covec/Bisimilarity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Covec/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Covec/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Covec/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Cowriter	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Cowriter/Bisimilarity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Delay	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Delay/Bisimilarity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Delay/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Delay/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/M	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/M/Bisimilarity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/M/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Cofin.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Conat.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Conversion.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Costring.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Covec.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/M.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Notation.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Stream.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Bisimilarity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Infinite-merge.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation/Unary/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation/Unary/All	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation/Unary/All/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation/Unary/Any	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Colist/Relation/Unary/Any/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Conat	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/Conat/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/M	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Musical/M/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Stream	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Stream/Bisimilarity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Stream/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Stream/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Codata/Stream/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Bin.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Bool.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/BoundedVec.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Char.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/DifferenceList.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/DifferenceNat.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/DifferenceVec.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Digit.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Empty.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Erased.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Float.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Plus.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Record.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Refinement.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/ReflexiveClosure.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sign.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Star.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/String.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Table.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Trie.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Unit.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Universe.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/W.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Word.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Wrap.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/Height.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/IndexedMap.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/Key.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/Map.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/NonEmpty.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/Sets.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/Value.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/Indexed	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/Indexed/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/NonEmpty	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/AVL/NonEmpty/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Bin	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Bin/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Bool	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Bool/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Bool/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Bool/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Bool/Show.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Bool/Solver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/BoundedVec	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/BoundedVec/Inefficient.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Char	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Char/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Char/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Char/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Combinator.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/FreeMonad.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Membership.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Morphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Related.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Combinator	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Combinator/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Fixpoints	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Fixpoints/Guarded.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Fixpoints/Sized.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Indexed	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Indexed/Combinator.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Indexed/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Indexed/FreeMonad.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Indexed/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Indexed/Fixpoints	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Indexed/Fixpoints/Guarded.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Morphism	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Morphism/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation/Binary/Pointwise.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation/Binary/Equality	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation/Binary/Equality/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation/Binary/Pointwise	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation/Binary/Pointwise/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation/Unary/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation/Unary/Any	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Container/Relation/Unary/Any/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Digit	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Digit/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Empty	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Empty/Irrelevant.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Empty/Polymorphic.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Dec.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Induction.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Literals.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Patterns.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Permutation.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Reflection.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Show.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Subset.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Substitution.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Permutation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Permutation/Components.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Permutation/Transposition	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Permutation/Transposition/List.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Subset	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Subset/Induction.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Subset/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Substitution	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Substitution/Example.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Substitution/Lemmas.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Fin/Substitution/List.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Float	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Float/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Float/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Float/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Graph	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Graph/Acyclic.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Coprimality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Divisibility.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/DivMod.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/GCD.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/LCM.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Literals.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Show.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Solver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Divisibility	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Divisibility/Signed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Tactic	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Integer/Tactic/RingSolver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Countdown.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Extrema.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Kleene.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Literals.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/NonEmpty.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Reverse.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Solver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Sort.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Zipper.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/All	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/All/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Any	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Any/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Extrema	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Extrema/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Extrema/Nat.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Membership	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Membership/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Membership/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Membership/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation/Unary/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation/Unary/All	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation/Unary/All/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation/Unary/Any	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Fresh/Relation/Unary/Any/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Kleene	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Kleene/AsList.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Kleene/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership/DecPropositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership/DecSetoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership/Propositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership/Propositional/Properties	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership/Propositional/Properties/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership/Propositional/Properties/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Membership/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/NonEmpty	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/NonEmpty/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/NonEmpty/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/NonEmpty/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/NonEmpty/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/BagAndSetEquality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Pointwise.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/BagAndSetEquality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Lex.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Pointwise.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Disjoint	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Disjoint/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Disjoint/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Disjoint/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Equality	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Equality/DecPropositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Equality/DecSetoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Equality/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Equality/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Infix	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Infix/Heterogeneous.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Infix/Heterogeneous	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Infix/Heterogeneous/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Infix/Homogeneous	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Infix/Homogeneous/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Lex	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Lex/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Lex/NonStrict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Lex/Strict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Homogeneous.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Inductive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Inductive	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Inductive/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Pointwise	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Pointwise/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Pointwise/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Prefix	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Prefix/Heterogeneous.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Prefix/Heterogeneous	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Prefix/Homogeneous	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Prefix/Homogeneous/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/DecPropositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/DecSetoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/DecPropositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/DecSetoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Propositional/Disjoint.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Propositional/Example	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Propositional/Example/UniqueBoundVariables.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Subset	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Subset/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Subset/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Subset/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Subset/Propositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Subset/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Subset/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Suffix	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Suffix/Heterogeneous.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Suffix/Heterogeneous	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Suffix/Homogeneous	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Binary/Suffix/Homogeneous/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Equality	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Equality/DecPropositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Equality/DecSetoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Equality/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Equality/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Lex	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Lex/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Lex/NonStrict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Lex/Strict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Permutation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Permutation/Inductive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Permutation/Inductive	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Permutation/Inductive/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Sublist	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Sublist/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Sublist/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Sublist/Propositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Subset	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Subset/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Subset/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Subset/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Subset/Propositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Subset/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Subset/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Propositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Appending/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/AllPairs.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/First.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Grouped.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Linked.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/All	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/All/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/AllPairs	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/AllPairs/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/AllPairs/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Any	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Any/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Enumerates	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Enumerates/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Enumerates/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Enumerates/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/First	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/First/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Grouped	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Grouped/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Linked	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Linked/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Sorted	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Sorted/TotalOrder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Sorted/TotalOrder	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/DecPropositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/DecSetoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/DecPropositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/DecPropositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/DecSetoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/DecSetoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Relation/Unary/Unique/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Sort	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Sort/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Sort/MergeSort.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Zipper	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/List/Zipper/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Binary/Connected.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Binary/Pointwise.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Unary/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Unary/All	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Maybe/Relation/Unary/All/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Binary.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Coprimality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Divisibility.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/DivMod.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/GCD.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/GeneralisedArithmetic.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Induction.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/InfinitelyOften.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/LCM.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Literals.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Primality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Reflection.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Show.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Solver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Binary/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Binary/Induction.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Binary/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Binary/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Binary/Subtraction.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Divisibility	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Divisibility/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/DivMod	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/DivMod/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/DivMod/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/GCD	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/GCD/Lemmas.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Properties	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Properties/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/PseudoRandom	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/PseudoRandom/LCG.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/PseudoRandom/LCG	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/PseudoRandom/LCG/Unsafe.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Show	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Show/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Tactic	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Nat/Tactic/RingSolver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Algebra.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/N-ary.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Categorical	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Categorical/Examples.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Categorical/Left.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Categorical/Right.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Categorical/Left	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Categorical/Left/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Categorical/Right	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Categorical/Right/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Function	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Function/Dependent	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Function/Dependent/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Function/Dependent/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Function/Dependent/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Function/Dependent/Propositional/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Function/Dependent/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Function/Dependent/Setoid/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Function/NonDependent	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Function/NonDependent/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Function/NonDependent/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/N-ary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/N-ary/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/N-ary/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Nary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Nary/NonDependent.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Properties	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Properties/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Lex	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Lex/NonStrict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Lex/Strict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Pointwise	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Pointwise/Dependent.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Pointwise/NonDependent.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Pointwise/Dependent	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Lex	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Lex/NonStrict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Lex/Strict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Pointwise	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Pointwise/Dependent.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Pointwise/NonDependent.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Product/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational/Literals.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational/Show.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational/Solver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational/Unnormalised.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational/Unnormalised	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational/Unnormalised/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational/Unnormalised/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Rational/Unnormalised/Solver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Refinement	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Refinement/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Refinement/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Refinement/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sign	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sign/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sign/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sign/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Star	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Star/BoundedVec.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Star/Decoration.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Star/Environment.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Star/Fin.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Star/List.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Star/Nat.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Star/Pointer.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Star/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Star/Vec.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/String	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/String/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/String/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/String/Literals.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/String/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/String/Unsafe.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Algebra.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Categorical	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Categorical/Examples.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Categorical/Left.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Categorical/Right.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Function	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Function/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Function/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Relation/LeftOrder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Relation/Pointwise.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Relation/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Relation/Binary/LeftOrder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Relation/Binary/Pointwise.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Sum/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Table	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Table/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Table/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Table/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Table/Relation/Equality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Table/Relation/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Table/Relation/Binary/Equality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These/Categorical	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These/Categorical/Left.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These/Categorical/Right.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These/Categorical/Left	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These/Categorical/Left/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These/Categorical/Right	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/These/Categorical/Right/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Rose.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Height.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/IndexedMap.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Key.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Map.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/NonEmpty.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Sets.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Value.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed/Relation/Unary/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed/Relation/Unary/Any	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Indexed/Relation/Unary/Any/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Map	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Map/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Map/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Map/Relation/Unary/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/NonEmpty	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/NonEmpty/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/AVL/Relation/Unary/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary/Show.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary/Zipper.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary/Relation/Unary/All	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary/Relation/Unary/All/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary/Zipper	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Binary/Zipper/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Rose	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Rose/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Tree/Rose/Show.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Trie	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Trie/NonEmpty.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Unit	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Unit/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Unit/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Unit/NonEta.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Unit/Polymorphic.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Unit/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Unit/Polymorphic	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Unit/Polymorphic/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Unit/Polymorphic/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Unit/Polymorphic/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Universe	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Universe/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Bounded.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/N-ary.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Recursive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/All	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/All/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Bounded	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Bounded/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Binary/Pointwise.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Binary/Equality	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Binary/Equality/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Binary/Pointwise	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Binary/Pointwise/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Unary/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Unary/All	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Functional/Relation/Unary/All/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Membership	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Membership/DecPropositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Membership/DecSetoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Membership/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Membership/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Membership/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Membership/Propositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Properties	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Properties/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Recursive	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Recursive/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Recursive/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality/DecPropositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality/DecSetoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Lex	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Lex/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Lex/NonStrict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Lex/Strict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Pointwise	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Pointwise/Extensional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Binary/Pointwise/Inductive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Equality	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Equality/DecPropositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Equality/DecSetoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Equality/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Equality/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Pointwise	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Pointwise/Extensional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Pointwise/Inductive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/AllPairs.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Any.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/All	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/All/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/AllPairs	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/AllPairs/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/AllPairs/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Any	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Any/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Unique	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Unique/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Unique/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Unique/Propositional	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Unique/Propositional/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Unique/Setoid	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Vec/Relation/Unary/Unique/Setoid/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/W	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/W/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/W/Sized.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/W/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Word	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Word/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Word/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Data/Word/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Debug	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Debug/Trace.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Applicative.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Comonad.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Functor.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Monad.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Applicative	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Applicative/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Applicative/Predicate.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Functor	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Functor/Predicate.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Monad	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Monad/Continuation.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Monad/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Monad/Partiality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Monad/Predicate.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Monad/Reader.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Monad/State.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Monad/Partiality	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Monad/Partiality/All.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Effect/Monad/Partiality/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Foreign	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Foreign/Haskell.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Foreign/Haskell	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Foreign/Haskell/Coerce.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Foreign/Haskell/Either.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Foreign/Haskell/Maybe.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Foreign/Haskell/Pair.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Bijection.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Bundles.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Definitions.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Equality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Equivalence.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/HalfAdjointEquivalence.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Injection.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Inverse.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/LeftInverse.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Reasoning.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Related.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Structures.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Surjection.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Construct	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Construct/Composition.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Construct/Identity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Construct/Symmetry.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Definitions	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Definitions/Core1.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Definitions/Core2.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Endomorphism	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Endomorphism/Propositional.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Endomorphism/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Identity	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Identity/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Identity/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Bundles.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Definitions.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Nat.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Rational.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Structures.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Nat	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Nat/Bundles.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Nat/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Nat/Definitions.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Nat/Structures.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Rational	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Rational/Bundles.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Rational/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Rational/Definitions.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Metric/Rational/Structures.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Nary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Nary/NonDependent.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Nary/NonDependent	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Nary/NonDependent/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Properties	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Properties/Equivalence.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Properties/Inverse.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Related	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Related/TypeIsomorphisms.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Related/TypeIsomorphisms	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Function/Related/TypeIsomorphisms/Solver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Induction	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Induction/Lexicographic.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Induction/Nat.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Induction/WellFounded.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/IO	directory
Agda-stdlib/agda-stdlib-1.7.3/src/IO/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/IO/Finite.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/IO/Infinite.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/IO/Primitive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/IO/Primitive	directory
Agda-stdlib/agda-stdlib-1.7.3/src/IO/Primitive/Finite.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/IO/Primitive/Infinite.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Level	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Level/Literals.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Abstraction.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Annotated.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Argument.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/DeBruijn.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Definition.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/External.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Literal.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Meta.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Name.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Pattern.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Show.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Term.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Traversal.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Universe.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Annotated	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Annotated/Free.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Argument	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Argument/Information.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Argument/Modality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Argument/Quantity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Argument/Relevance.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/Argument/Visibility.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/TypeChecking	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/TypeChecking/Format.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/TypeChecking/Monad.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/TypeChecking/MonadSyntax.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/TypeChecking/Monad	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/TypeChecking/Monad/Categorical.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/TypeChecking/Monad/Instances.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Reflection/TypeChecking/Monad/Syntax.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nary.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Unary.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Bundles.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Consequences.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Definitions.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/EqReasoning.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/EquivalenceClosure.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/HeterogeneousEquality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Lattice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Morphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/OrderMorphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/PartialOrderReasoning.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/PreorderReasoning.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reflection.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Rewriting.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/SetoidReasoning.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/StrictPartialOrderReasoning.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Structures.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/SymmetricClosure.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/TypeClasses.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Always.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Composition.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Constant.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Converse.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Flip.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/FromPred.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/FromRel.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Intersection.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Never.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/NonStrictToStrict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/On.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/StrictToNonStrict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Union.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Extrema	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Extrema/Equality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Extrema/NonStrict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Extrema/Strict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Infimum	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Infimum/Equality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Infimum/NonStrict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Infimum/Strict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Point	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Point/Equality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Supremum	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Supremum/Equality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Supremum/NonStrict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Add/Supremum/Strict.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Equivalence.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Reflexive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Symmetric.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/SymmetricTransitive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Transitive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Equivalence	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Equivalence/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Reflexive	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Reflexive/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Reflexive/Properties	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/ReflexiveTransitive	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Transitive	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Closure/Transitive/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Constant	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Constant/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/NaturalOrder	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/NaturalOrder/Left.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/NaturalOrder/Right.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Subst	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Construct/Subst/Equality.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/HeterogeneousEquality	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/HeterogeneousEquality/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/HeterogeneousEquality/Quotients.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/HeterogeneousEquality/Quotients	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Bundles.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Definitions.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Structures.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Construct	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous/Bundles.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous/Definitions.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous/Structures.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous/Construct	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Indexed/Homogeneous/Construct/At.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Morphism	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Bundles.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Definitions.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/OrderMonomorphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/RelMonomorphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Structures.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Construct	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Construct/Composition.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Construct/Constant.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Morphism/Construct/Identity.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/BoundedJoinSemilattice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/BoundedLattice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/BoundedMeetSemilattice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/DecTotalOrder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/DistributiveLattice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/HeytingAlgebra.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/JoinSemilattice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/Lattice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/MeetSemilattice.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/Poset.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/Preorder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/StrictPartialOrder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/StrictTotalOrder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Properties/TotalOrder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality/Algebra.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality/TrustMe.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/PropositionalEquality/WithK.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/MultiSetoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/PartialOrder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/PartialSetoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Preorder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Setoid.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/StrictPartialOrder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Base	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Base/Double.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Base/Partial.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Base/Single.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Binary/Reasoning/Base/Triple.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Decidable.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Implication.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Negation.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Product.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Reflects.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Sum.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Universe.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Construct	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Construct/Add	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Construct/Add/Extrema.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Construct/Add/Infimum.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Construct/Add/Point.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Construct/Add/Supremum.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Decidable	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Decidable/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Indexed	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Indexed/Negation.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Negation	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Nullary/Negation/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Unary	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Unary/Consequences.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Unary/Indexed.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Unary/PredicateTransformer.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Unary/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Unary/Sized.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Unary/Closure	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Unary/Closure/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Unary/Closure/Preorder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Relation/Unary/Closure/StrictPartialOrder.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/System	directory
Agda-stdlib/agda-stdlib-1.7.3/src/System/Environment.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/System/Exit.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/System/Environment	directory
Agda-stdlib/agda-stdlib-1.7.3/src/System/Environment/Primitive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/System/Exit	directory
Agda-stdlib/agda-stdlib-1.7.3/src/System/Exit/Primitive.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/MonoidSolver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/NonReflective.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/AlmostCommutativeRing.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Expression.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/NatSet.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/ReflectionHelp.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Parameters.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Reasoning.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Semantics.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Addition.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Constants.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Exponentiation.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Lemmas.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Multiplication.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Negation.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Variables.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Format.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Pretty.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Printf.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Format	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Format/Generic.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Pretty	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Pretty/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Printf	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Printf/Generic.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex/Properties.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex/Search.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex/SmartConstructors.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex/String.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex/Derivative	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex/Derivative/Brzozowski.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex/Properties	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex/Properties/Core.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex/String	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Regex/String/Unsafe.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Tabular	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Tabular/Base.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Tabular/List.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Tabular/Vec.agda	file
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Tree	directory
Agda-stdlib/agda-stdlib-1.7.3/src/Text/Tree/Linear.agda	file
Agda-stdlib/agda-stdlib-1.7.3/travis	directory
Agda-stdlib/agda-stdlib-1.7.3/travis/index.agda	file
Agda-stdlib/agda-stdlib-1.7.3/travis/index.sh	file

Holders

path	holder	start	end

Authors

path	Author	start	end

Emails

path	email	start	end

Urls

path	url	start	end

License References

key	short_name	category	owner	scancode_url	licensedb_url	homepage_url	text_urls	spdx_license_key	spdx_url
mit	MIT License	Permissive	MIT	https://github.com/nexB/scancode-toolkit/tree/develop/src/licensedcode/data/licenses/mit.LICENSE	https://scancode-licensedb.aboutcode.org/mit	http://opensource.org/licenses/mit-license.php	http://opensource.org/licenses/mit-license.php	MIT	https://spdx.org/licenses/MIT