agda-stdlib (2.3-1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- none
- Architecture
- amd64
- Section
- universe/libs
- Priority
- extra
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 196.7 kB
- Size expected
- 156.6 MB
- Size actual
- 156.6 MB
- Size match
Suggested packages
Recommended additional packages
- None
Description
standard library for Agda
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 64dfeafb…17eecd5b | |
| SHA-1 | 877e373a…685c41a5 | |
| SHA-256 | d4bbd647…46d6e191 | |
| SHA-512 | 937d47e2…8914a492 |
Contents
Files and directories included
. etc etc/emacs etc/emacs/site-start.d etc/emacs/site-start.d/60agda-stdlib.el usr usr/share usr/share/agda-stdlib usr/share/agda-stdlib/_build usr/share/agda-stdlib/_build/2.8.0 usr/share/agda-stdlib/_build/2.8.0/agda usr/share/agda-stdlib/_build/2.8.0/agda/src usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Properties/HeytingCommutativeRing.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Apartness.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles/Raw.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Consequences/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Add/Identity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/DirectProduct.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Flip usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Flip/Op.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Initial.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/LexProduct usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/LexProduct/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/LexProduct/Inner.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/LexProduct.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/LiftedChoice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/Max.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/MaxOp.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/Min.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/MinMaxOp.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/NaturalChoice/MinOp.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Pointwise.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Subst usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Subst/Equality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Terminal.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Construct/Zero.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Definitions usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Definitions/RawMagma.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Definitions/RawMonoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Definitions/RawSemiring.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/FunctionProperties usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/FunctionProperties/Consequences usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/FunctionProperties/Consequences/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/FunctionProperties/Consequences.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Bundles usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Bundles/Raw.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/DirectProduct.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/LiftedChoice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/NaturalChoice usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/NaturalChoice/MaxOp.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/NaturalChoice/MinMaxOp.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/NaturalChoice/MinOp.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/Subst usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/Subst/Equality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Construct/Zero.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism/Construct/Composition.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism/Construct/Identity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism/LatticeMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Morphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/BooleanAlgebra usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/BooleanAlgebra/Expression.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/BooleanAlgebra.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/DistributiveLattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/Lattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Properties/Semilattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Structures usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Structures/Biased.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Lattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Bundles usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Bundles/Raw.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Consequences.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Construct/DirectProduct.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Construct/Idealization.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Construct/TensorUnit.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Construct/Zero.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions/Bi usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions/Bi/Simultaneous.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions/Bi.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions/Left.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions/Right.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/BimoduleMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/BisemimoduleMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/Construct/Composition.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/Construct/Identity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/LeftModuleMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/LeftSemimoduleMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/ModuleHomomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/ModuleMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/RightModuleMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/RightSemimoduleMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/SemimoduleMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Morphism/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties/Bimodule.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties/LeftModule.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties/RightModule.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties/Semimodule.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Structures usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Structures/Biased.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Module.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Consequences.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct/Composition.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct/DirectProduct.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct/Identity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct/Initial.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Construct/Terminal.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/GroupMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/MagmaMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/MonoidMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/RingMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Morphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Operations usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Operations/CommutativeMonoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Operations/Ring.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Operations/Semiring.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/AbelianGroup.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/BooleanAlgebra usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/BooleanAlgebra/Expression.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/BooleanAlgebra.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CancellativeCommutativeSemiring.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMagma usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMagma/Divisibility.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid/Mult usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid/Mult/TCOptimised.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid/Mult.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid/Sum.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeMonoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemigroup usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemigroup/Divisibility.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemigroup.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemiring usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemiring/Binomial.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemiring/Exp usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemiring/Exp/TCOptimised.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/CommutativeSemiring/Exp.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/DistributiveLattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Group.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/IdempotentCommutativeMonoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/KleeneAlgebra.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Lattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Loop.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Magma usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Magma/Divisibility.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/MiddleBolLoop.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid/Divisibility.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid/Mult usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid/Mult/TCOptimised.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid/Mult.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid/Sum.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Monoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/MoufangLoop.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Quasigroup.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Ring.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/RingWithoutOne.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semigroup usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semigroup/Divisibility.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semigroup.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semilattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Binomial.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Divisibility.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Exp usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Exp/TCOptimised.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Exp/TailRecursiveOptimised.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Exp.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Mult usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Mult/TCOptimised.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Mult.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Primality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Properties/Semiring/Sum.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/CommutativeMonoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/CommutativeMonoid/Example.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/CommutativeMonoid/Normal.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/CommutativeMonoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/IdempotentCommutativeMonoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/IdempotentCommutativeMonoid/Normal.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/IdempotentCommutativeMonoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Monoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Monoid/Expression.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Monoid/Normal.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Monoid/Solver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Monoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/AlmostCommutativeRing.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/Lemmas.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/NaturalCoefficients usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/NaturalCoefficients/Default.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/NaturalCoefficients.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring/Simple.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Solver/Ring.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Structures usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Structures/Biased.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Algebra.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Axiom usr/share/agda-stdlib/_build/2.8.0/agda/src/Axiom/DoubleNegationElimination.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Axiom/ExcludedMiddle.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Axiom/Extensionality usr/share/agda-stdlib/_build/2.8.0/agda/src/Axiom/Extensionality/Heterogeneous.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Axiom/Extensionality/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Axiom/UniquenessOfIdentityProofs usr/share/agda-stdlib/_build/2.8.0/agda/src/Axiom/UniquenessOfIdentityProofs/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Axiom/UniquenessOfIdentityProofs.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/M.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation/Binary/Pointwise.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream/Relation/Unary/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Guarded/Stream.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Cofin.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Bisimilarity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Infinite-merge.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Relation/Unary/All usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Relation/Unary/All/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Relation/Unary/Any usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Relation/Unary/Any/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist/Relation/Unary/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Colist.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Conat usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Conat/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Conat.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Conversion.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Costring.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Covec.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/M usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/M/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/M.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Notation.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Musical/Stream.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Cofin usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Cofin/Literals.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Cofin.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Colist usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Colist/Bisimilarity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Colist/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Colist/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Colist/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Colist.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Conat usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Conat/Bisimilarity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Conat/Literals.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Conat/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Conat.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Covec usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Covec/Bisimilarity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Covec/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Covec/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Covec/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Covec/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Covec.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Cowriter usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Cowriter/Bisimilarity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Cowriter.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Delay usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Delay/Bisimilarity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Delay/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Delay/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Delay/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Delay.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/M usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/M/Bisimilarity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/M/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/M.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Stream usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Stream/Bisimilarity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Stream/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Stream/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Stream/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Stream/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Stream.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Codata/Sized/Thunk.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/Height.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/Indexed usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/Indexed/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/IndexedMap.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/Key.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/Map.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/NonEmpty usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/NonEmpty/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/NonEmpty.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/Sets.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL/Value.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/AVL.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bool usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bool/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bool/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bool/ListAction.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bool/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bool/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bool/Solver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bool.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bytestring usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bytestring/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bytestring/Builder usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bytestring/Builder/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bytestring/Builder/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bytestring/IO usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bytestring/IO/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bytestring/IO.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Bytestring/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Char usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Char/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Char/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Char/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Char.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Combinator usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Combinator/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Combinator.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Fixpoints usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Fixpoints/Guarded.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Fixpoints/Sized.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/FreeMonad.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/Combinator.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/Fixpoints usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/Fixpoints/Guarded.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/FreeMonad.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/Relation/Binary/Equality usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/Relation/Binary/Equality/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/Relation/Binary/Pointwise usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/Relation/Binary/Pointwise/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/Relation/Binary/Pointwise.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Membership.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Morphism usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Morphism/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Morphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Related.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation/Binary/Equality usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation/Binary/Equality/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation/Binary/Pointwise usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation/Binary/Pointwise/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation/Binary/Pointwise.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation/Unary/Any usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation/Unary/Any/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container/Relation/Unary/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Container.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Default.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/DifferenceList.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/DifferenceNat.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/DifferenceVec.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Digit usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Digit/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Digit.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Empty usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Empty/Irrelevant.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Empty/Polymorphic.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Empty.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Erased.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Induction.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Literals.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Patterns.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Permutation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Permutation/Components.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Permutation/Transposition usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Permutation/Transposition/List.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Permutation.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Reflection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Relation/Unary/Top.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Subset usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Subset/Induction.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Subset/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Subset.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Substitution usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Substitution/Example.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Substitution/Lemmas.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Substitution/List.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin/Substitution.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Fin.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Float usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Float/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Float/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Float/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Float.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Graph usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Graph/Acyclic.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Coprimality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/DivMod.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Divisibility usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Divisibility/Signed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Divisibility.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/GCD.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/LCM.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Literals.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Properties/NatLemmas.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Solver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Tactic usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer/Tactic/RingSolver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Integer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Irrelevant.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Categorical usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Categorical/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Countdown.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Effectful usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Effectful/Foldable.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Effectful/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Extrema usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Extrema/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Extrema/Nat.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Extrema.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Membership usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Membership/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Membership/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Membership/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/NonEmpty.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Relation/Unary/All usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Relation/Unary/All/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Relation/Unary/Any usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Relation/Unary/Any/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh/Relation/Unary/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Fresh.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Kleene usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Kleene/AsList.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Kleene/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Kleene.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Literals.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership/DecPropositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership/DecSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership/Propositional/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership/Propositional/Properties/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership/Propositional/Properties/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Membership/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Nary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Nary/NonDependent.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Categorical usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Categorical/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Effectful usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Effectful/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/NonEmpty.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Reflection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/BagAndSetEquality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Disjoint usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Disjoint/DecPropositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Disjoint/DecSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Disjoint/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Disjoint/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Disjoint/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Disjoint/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Disjoint/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Equality usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Equality/DecPropositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Equality/DecSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Equality/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Equality/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Equality/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Equality/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Infix usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Infix/Heterogeneous usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Infix/Heterogeneous/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Infix/Heterogeneous.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Infix/Homogeneous usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Infix/Homogeneous/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Lex usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Lex/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Lex/NonStrict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Lex/Strict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Lex.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation/Homogeneous.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation/Propositional/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation/Propositional/Properties/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation/Setoid/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation/Setoid/Properties/Maybe.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Permutation/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Pointwise usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Pointwise/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Pointwise/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Pointwise.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Prefix usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Prefix/Homogeneous usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Prefix/Homogeneous/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Prefix/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Prefix/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Disjoint.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Example usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Example/UniqueBoundVariables.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Slice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Sublist/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Subset usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Subset/DecPropositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Subset/DecSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Subset/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Subset/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Subset/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Subset/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Subset/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Subset/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Suffix usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Suffix/Homogeneous usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Suffix/Homogeneous/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Suffix/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Binary/Suffix/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Appending usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Appending/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Appending/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Appending/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Appending/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Appending/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Appending/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Appending/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Appending.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Interleaving usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Interleaving/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Ternary/Interleaving.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/All usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/All/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/All/Properties/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/All/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/AllPairs usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/AllPairs/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/AllPairs/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/AllPairs.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Any usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Any/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Enumerates usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Enumerates/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Enumerates/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Enumerates/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/First usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/First/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/First.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Grouped usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Grouped/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Grouped.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Linked usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Linked/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Linked.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Sorted usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Sorted/TotalOrder usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Sorted/TotalOrder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Sufficient.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/DecPropositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/DecPropositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/DecPropositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/DecSetoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/DecSetoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/DecSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Relation/Unary/Unique/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Reverse.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Scans usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Scans/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Scans/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Solver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Sort usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Sort/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Sort/InsertionSort usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Sort/InsertionSort/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Sort/InsertionSort/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Sort/InsertionSort.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Sort/MergeSort usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Sort/MergeSort/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Sort/MergeSort/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Sort/MergeSort.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Sort.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Zipper usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Zipper/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List/Zipper.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/List.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Categorical usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Categorical/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Effectful usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Effectful/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Relation/Binary/Connected.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Relation/Binary/Pointwise.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Relation/Unary/All usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Relation/Unary/All/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe/Relation/Unary/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Maybe.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Binary/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Binary/Induction.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Binary/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Binary/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Binary/Subtraction.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Binary.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Combinatorics usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Combinatorics/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Combinatorics/Specification.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Combinatorics.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Coprimality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/DivMod usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/DivMod/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/DivMod/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/DivMod.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Divisibility usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Divisibility/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Divisibility.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/GCD usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/GCD/Lemmas.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/GCD.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/GeneralisedArithmetic.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Induction.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/InfinitelyOften.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/LCM.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/ListAction usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/ListAction/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/ListAction.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Literals.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Logarithm usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Logarithm/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Logarithm.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Primality usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Primality/Factorisation.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Primality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/PseudoRandom usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/PseudoRandom/LCG usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/PseudoRandom/LCG/Unsafe.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/PseudoRandom/LCG.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Reflection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Show usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Show/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Solver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Tactic usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/Tactic/RingSolver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Nat.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Parity usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Parity/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Parity/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Parity/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Parity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Algebra.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Categorical usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Categorical/Examples.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Categorical/Left usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Categorical/Left/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Categorical/Left.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Categorical/Right usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Categorical/Right/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Categorical/Right.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Effectful usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Effectful/Examples.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Effectful/Left usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Effectful/Left/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Effectful/Left.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Effectful/Right usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Effectful/Right/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Effectful/Right.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Function usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Function/Dependent usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Function/Dependent/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Function/Dependent/Propositional/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Function/Dependent/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Function/Dependent/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Function/Dependent/Setoid/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Function/Dependent/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Function/NonDependent usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Function/NonDependent/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Function/NonDependent/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Nary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Nary/NonDependent.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Properties/Dependent.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Properties/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation/Binary/Lex usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation/Binary/Lex/NonStrict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation/Binary/Lex/Strict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation/Binary/Pointwise usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation/Binary/Pointwise/Dependent usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation/Binary/Pointwise/Dependent.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation/Binary/Pointwise/NonDependent.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Product.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Literals.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Solver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Unnormalised usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Unnormalised/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Unnormalised/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Unnormalised/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Unnormalised/Solver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational/Unnormalised.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Rational.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Record.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Refinement usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Refinement/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Refinement/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Refinement/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Refinement/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Refinement/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Refinement.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sign usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sign/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sign/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sign/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sign/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sign.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Star usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Star/BoundedVec.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Star/Decoration.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Star/Environment.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Star/Fin.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Star/List.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Star/Nat.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Star/Pointer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Star/Vec.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/String usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/String/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/String/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/String/Literals.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/String/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/String/Unsafe.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/String.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Algebra.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Categorical usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Categorical/Examples.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Categorical/Left usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Categorical/Left/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Categorical/Left.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Categorical/Right usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Categorical/Right/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Categorical/Right.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Effectful usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Effectful/Examples.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Effectful/Left usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Effectful/Left/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Effectful/Left.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Effectful/Right usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Effectful/Right/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Effectful/Right.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Function usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Function/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Function/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Relation/Binary/LeftOrder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Relation/Binary/Pointwise.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Sum.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Categorical usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Categorical/Left usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Categorical/Left/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Categorical/Left.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Categorical/Right usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Categorical/Right/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Categorical/Right.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Effectful usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Effectful/Left usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Effectful/Left/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Effectful/Left.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Effectful/Right usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Effectful/Right/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Effectful/Right.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/These.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Height.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Indexed usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Indexed/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Indexed/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/Any usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/Any/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Indexed/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/IndexedMap.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Key.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Map usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Map/Membership usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Map/Membership/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Map/Membership/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Map/Membership/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Map/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Map/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Map/Relation/Unary/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Map.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/NonEmpty usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/NonEmpty/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/NonEmpty.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Relation/Unary/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Sets usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Sets/Membership usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Sets/Membership/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Sets/Membership.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Sets.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL/Value.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/AVL.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary/Relation/Unary/All usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary/Relation/Unary/All/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary/Zipper usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary/Zipper/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary/Zipper.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Binary.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Rose usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Rose/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Rose/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Tree/Rose.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Trie usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Trie/NonEmpty.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Trie.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Unit usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Unit/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Unit/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Unit/NonEta.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Unit/Polymorphic usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Unit/Polymorphic/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Unit/Polymorphic/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Unit/Polymorphic/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Unit/Polymorphic.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Unit/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Unit.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Universe usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Universe/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Universe.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Bounded usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Bounded/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Bounded/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Bounded.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Categorical usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Categorical/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Effectful usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Effectful/Foldable.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Effectful/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Binary/Equality usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Binary/Equality/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Binary/Permutation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Binary/Permutation/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Binary/Permutation.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Binary/Pointwise usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Binary/Pointwise/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Binary/Pointwise.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Unary/All usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Unary/All/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional/Relation/Unary/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Functional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Membership usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Membership/DecPropositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Membership/DecSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Membership/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Membership/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Membership/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Membership/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/N-ary.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Properties/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Recursive usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Recursive/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Recursive/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Recursive/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Recursive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Reflection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Equality usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Equality/Cast.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Equality/DecPropositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Equality/DecSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Equality/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Equality/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Equality/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Lex usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Lex/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Lex/NonStrict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Lex/Strict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Pointwise usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Pointwise/Extensional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Binary/Pointwise/Inductive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/All usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/All/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/AllPairs usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/AllPairs/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/AllPairs/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/AllPairs.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Any usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Any/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Any.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Linked usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Linked/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Linked.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Unique usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Unique/Propositional usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Unique/Propositional/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Unique/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Unique/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Unique/Setoid/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Relation/Unary/Unique/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Vec.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/W usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/W/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/W/Sized.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/W/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/W.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word64 usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word64/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word64/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word64/Literals.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word64/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word64/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word64/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word64/Unsafe.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word64.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word8 usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word8/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word8/Literals.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word8/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Word8/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Data/Wrap.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Debug usr/share/agda-stdlib/_build/2.8.0/agda/src/Debug/Trace.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Applicative usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Applicative/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Applicative/Predicate.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Applicative.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Choice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Comonad.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Empty.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Foldable.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Functor usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Functor/Predicate.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Functor.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Continuation.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Error usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Error/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/IO usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/IO/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/IO.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Identity usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Identity/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Identity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Partiality usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Partiality/All.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Partiality/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Partiality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Predicate.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Reader usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Reader/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Reader/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Reader/Transformer usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Reader/Transformer/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Reader/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Reader.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/State usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/State/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/State/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/State/Transformer usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/State/Transformer/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/State/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/State.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Writer usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Writer/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Writer/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Writer/Transformer usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Writer/Transformer/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Writer/Transformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad/Writer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Effect/Monad.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Foreign usr/share/agda-stdlib/_build/2.8.0/agda/src/Foreign/Haskell usr/share/agda-stdlib/_build/2.8.0/agda/src/Foreign/Haskell/Coerce.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Foreign/Haskell/Either.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Foreign/Haskell/List usr/share/agda-stdlib/_build/2.8.0/agda/src/Foreign/Haskell/List/NonEmpty.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Foreign/Haskell/Maybe.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Foreign/Haskell/Pair.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Foreign/Haskell.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Bijection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Consequences usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Consequences/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Consequences/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Consequences.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Construct/Composition.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Construct/Constant.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Construct/Identity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Construct/Symmetry.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Dependent usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Dependent/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Endo usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Endo/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Endo/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Endomorphism usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Endomorphism/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Endomorphism/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Equality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Equivalence.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/HalfAdjointEquivalence.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Identity usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Identity/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Identity/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Indexed usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Indexed/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Indexed/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Indexed/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Indexed/Relation/Binary/Equality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Injection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Inverse.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/LeftInverse.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Nat usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Nat/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Nat/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Nat/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Nat/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Nat.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Rational usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Rational/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Rational/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Rational/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Rational/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Rational.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Metric.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Nary usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Nary/NonDependent usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Nary/NonDependent/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Nary/NonDependent.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Properties/Bijection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Properties/Equivalence.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Properties/Injection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Properties/Inverse usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Properties/Inverse/HalfAdjointEquivalence.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Properties/Inverse.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Properties/RightInverse.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Properties/Surjection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Reasoning.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Related usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Related/Propositional.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Related/TypeIsomorphisms usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Related/TypeIsomorphisms/Solver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Related/TypeIsomorphisms.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Related.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Relation/Binary/Setoid usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Relation/Binary/Setoid/Equality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Strict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Structures usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Structures/Biased.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function/Surjection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Function.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Finite.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Handle.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Infinite.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Primitive usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Primitive/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Primitive/Finite.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Primitive/Handle.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Primitive/Infinite.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/IO.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Induction usr/share/agda-stdlib/_build/2.8.0/agda/src/Induction/InfiniteDescent.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Induction/Lexicographic.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Induction/WellFounded.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Induction.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Level usr/share/agda-stdlib/_build/2.8.0/agda/src/Level/Literals.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Level.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Abstraction.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/AlphaEquality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Argument usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Argument/Information.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Argument/Modality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Argument/Quantity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Argument/Relevance.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Argument/Visibility.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Argument.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/DeBruijn.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Definition.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Literal.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Meta.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Name.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Pattern.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Show.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Term.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Traversal.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST/Universe.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AST.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AnnotatedAST usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AnnotatedAST/Free.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/AnnotatedAST.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/External.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/TCM usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/TCM/Categorical.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/TCM/Effectful.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/TCM/Format.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/TCM/Instances.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/TCM/Syntax.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/TCM/Utilities.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection/TCM.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Reflection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Bundles usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Bundles/Raw.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Consequences.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Extrema usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Extrema/Equality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Extrema/NonStrict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Extrema/Strict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Infimum usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Infimum/Equality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Infimum/NonStrict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Infimum/Strict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Point usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Point/Equality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Supremum usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Supremum/Equality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Supremum/NonStrict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Add/Supremum/Strict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Always.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Equivalence usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Equivalence/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Equivalence.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Reflexive usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Reflexive/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Reflexive/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Reflexive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Symmetric.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/SymmetricTransitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Transitive usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Transitive/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Closure/Transitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Composition.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Constant usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Constant/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Constant.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Converse.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Flip usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Flip/EqAndOrd.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Flip/Ord.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Flip.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/FromPred.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/FromRel.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Interior usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Interior/Symmetric.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Intersection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/NaturalOrder usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/NaturalOrder/Left.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/NaturalOrder/Right.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Never.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/NonStrictToStrict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/On.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/StrictToNonStrict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Subst usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Subst/Equality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Construct/Union.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/HeterogeneousEquality usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/HeterogeneousEquality/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/HeterogeneousEquality/Quotients usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/HeterogeneousEquality/Quotients.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/HeterogeneousEquality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Heterogeneous usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Heterogeneous/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Heterogeneous/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Heterogeneous/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Heterogeneous/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Heterogeneous/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Heterogeneous.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Homogeneous usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Homogeneous/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Homogeneous/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Homogeneous/Construct/At.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Homogeneous/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Homogeneous/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Homogeneous/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Indexed/Homogeneous.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Properties/BoundedJoinSemilattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Properties/BoundedLattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Properties/BoundedMeetSemilattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Properties/DistributiveLattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Properties/HeytingAlgebra.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Properties/JoinSemilattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Properties/Lattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Properties/MeetSemilattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Lattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism/Bundles.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism/Construct/Composition.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism/Construct/Constant.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism/Construct/Identity.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism/Construct/Product.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism/Definitions.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism/OrderMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism/RelMonomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Morphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/OrderMorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/ApartnessRelation.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/BoundedJoinSemilattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/BoundedLattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/BoundedMeetSemilattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/DecSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/DecTotalOrder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/DistributiveLattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/HeytingAlgebra.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/JoinSemilattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/Lattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/MeetSemilattice.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/PartialSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/Poset.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/Preorder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/StrictPartialOrder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/StrictTotalOrder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Properties/TotalOrder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/PropositionalEquality usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/PropositionalEquality/Algebra.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/PropositionalEquality/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/PropositionalEquality/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/PropositionalEquality/TrustMe.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/PropositionalEquality/WithK.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/PropositionalEquality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/Base usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/Base/Apartness.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/Base/Double.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/Base/Partial.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/Base/Single.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/Base/Triple.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/MultiSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/PartialOrder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/PartialSetoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/Preorder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/Setoid.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/StrictPartialOrder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reasoning/Syntax.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Reflection.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Rewriting.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Structures usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Structures/Biased.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/Structures.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary/TypeClasses.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Binary.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nary.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Construct usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Construct/Add usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Construct/Add/Extrema.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Construct/Add/Infimum.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Construct/Add/Point.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Construct/Add/Supremum.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Decidable usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Decidable/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Decidable.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Implication.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Indexed usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Indexed/Negation.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Irrelevant.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Negation usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Negation/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Negation.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Product.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Recomputable usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Recomputable/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Recomputable.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Reflects.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Sum.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary/Universe.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Nullary.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Algebra.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Closure usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Closure/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Closure/Preorder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Closure/StrictPartialOrder.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Consequences.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Indexed.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Polymorphic usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Polymorphic/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Polymorphic.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/PredicateTransformer.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Relation usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Relation/Binary usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Relation/Binary/Equality.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Relation/Binary/Subset.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary/Sized.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Relation/Unary.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Size.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Strict.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Clock usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Clock/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Clock.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Console usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Console/ANSI.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Directory usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Directory/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Directory.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Environment usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Environment/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Environment.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Exit usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Exit/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Exit.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/FilePath usr/share/agda-stdlib/_build/2.8.0/agda/src/System/FilePath/Posix usr/share/agda-stdlib/_build/2.8.0/agda/src/System/FilePath/Posix/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/FilePath/Posix.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Process usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Process/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Process.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Random usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Random/Primitive.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/System/Random.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/Cong.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/MonoidSolver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/AlmostCommutativeRing.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Expression.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/NatSet.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Addition.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Constants.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Exponentiation.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Lemmas.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Multiplication.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Negation.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Variables.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Parameters.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Reasoning.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/Core/Polynomial/Semantics.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver/NonReflective.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Tactic/RingSolver.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Test usr/share/agda-stdlib/_build/2.8.0/agda/src/Test/Golden.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Format usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Format/Generic.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Format.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Pretty usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Pretty/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Pretty.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Printf usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Printf/Generic.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Printf.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex/Derivative usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex/Derivative/Brzozowski.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex/Properties usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex/Properties/Core.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex/Properties.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex/Search.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex/SmartConstructors.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex/String usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex/String/Unsafe.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex/String.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Regex.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Tabular usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Tabular/Base.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Tabular/List.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Tabular/Vec.agdai usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Tree usr/share/agda-stdlib/_build/2.8.0/agda/src/Text/Tree/Linear.agdai usr/share/agda-stdlib/src usr/share/agda-stdlib/src/Algebra usr/share/agda-stdlib/src/Algebra/Apartness usr/share/agda-stdlib/src/Algebra/Apartness/Bundles.agda usr/share/agda-stdlib/src/Algebra/Apartness/Properties usr/share/agda-stdlib/src/Algebra/Apartness/Properties/HeytingCommutativeRing.agda usr/share/agda-stdlib/src/Algebra/Apartness/Structures.agda usr/share/agda-stdlib/src/Algebra/Apartness.agda usr/share/agda-stdlib/src/Algebra/Bundles usr/share/agda-stdlib/src/Algebra/Bundles/Raw.agda usr/share/agda-stdlib/src/Algebra/Bundles.agda usr/share/agda-stdlib/src/Algebra/Consequences usr/share/agda-stdlib/src/Algebra/Consequences/Base.agda usr/share/agda-stdlib/src/Algebra/Consequences/Propositional.agda usr/share/agda-stdlib/src/Algebra/Consequences/Setoid.agda usr/share/agda-stdlib/src/Algebra/Construct usr/share/agda-stdlib/src/Algebra/Construct/Add usr/share/agda-stdlib/src/Algebra/Construct/Add/Identity.agda usr/share/agda-stdlib/src/Algebra/Construct/DirectProduct.agda usr/share/agda-stdlib/src/Algebra/Construct/Flip usr/share/agda-stdlib/src/Algebra/Construct/Flip/Op.agda usr/share/agda-stdlib/src/Algebra/Construct/Initial.agda usr/share/agda-stdlib/src/Algebra/Construct/LexProduct usr/share/agda-stdlib/src/Algebra/Construct/LexProduct/Base.agda usr/share/agda-stdlib/src/Algebra/Construct/LexProduct/Inner.agda usr/share/agda-stdlib/src/Algebra/Construct/LexProduct.agda usr/share/agda-stdlib/src/Algebra/Construct/LiftedChoice.agda usr/share/agda-stdlib/src/Algebra/Construct/NaturalChoice usr/share/agda-stdlib/src/Algebra/Construct/NaturalChoice/Base.agda usr/share/agda-stdlib/src/Algebra/Construct/NaturalChoice/Max.agda usr/share/agda-stdlib/src/Algebra/Construct/NaturalChoice/MaxOp.agda usr/share/agda-stdlib/src/Algebra/Construct/NaturalChoice/Min.agda usr/share/agda-stdlib/src/Algebra/Construct/NaturalChoice/MinMaxOp.agda usr/share/agda-stdlib/src/Algebra/Construct/NaturalChoice/MinOp.agda usr/share/agda-stdlib/src/Algebra/Construct/Pointwise.agda usr/share/agda-stdlib/src/Algebra/Construct/Subst usr/share/agda-stdlib/src/Algebra/Construct/Subst/Equality.agda usr/share/agda-stdlib/src/Algebra/Construct/Terminal.agda usr/share/agda-stdlib/src/Algebra/Construct/Zero.agda usr/share/agda-stdlib/src/Algebra/Core.agda usr/share/agda-stdlib/src/Algebra/Definitions usr/share/agda-stdlib/src/Algebra/Definitions/RawMagma.agda usr/share/agda-stdlib/src/Algebra/Definitions/RawMonoid.agda usr/share/agda-stdlib/src/Algebra/Definitions/RawSemiring.agda usr/share/agda-stdlib/src/Algebra/Definitions.agda usr/share/agda-stdlib/src/Algebra/FunctionProperties usr/share/agda-stdlib/src/Algebra/FunctionProperties/Consequences usr/share/agda-stdlib/src/Algebra/FunctionProperties/Consequences/Core.agda usr/share/agda-stdlib/src/Algebra/FunctionProperties/Consequences/Propositional.agda usr/share/agda-stdlib/src/Algebra/FunctionProperties/Consequences.agda usr/share/agda-stdlib/src/Algebra/Lattice usr/share/agda-stdlib/src/Algebra/Lattice/Bundles usr/share/agda-stdlib/src/Algebra/Lattice/Bundles/Raw.agda usr/share/agda-stdlib/src/Algebra/Lattice/Bundles.agda usr/share/agda-stdlib/src/Algebra/Lattice/Construct usr/share/agda-stdlib/src/Algebra/Lattice/Construct/DirectProduct.agda usr/share/agda-stdlib/src/Algebra/Lattice/Construct/LiftedChoice.agda usr/share/agda-stdlib/src/Algebra/Lattice/Construct/NaturalChoice usr/share/agda-stdlib/src/Algebra/Lattice/Construct/NaturalChoice/MaxOp.agda usr/share/agda-stdlib/src/Algebra/Lattice/Construct/NaturalChoice/MinMaxOp.agda usr/share/agda-stdlib/src/Algebra/Lattice/Construct/NaturalChoice/MinOp.agda usr/share/agda-stdlib/src/Algebra/Lattice/Construct/Subst usr/share/agda-stdlib/src/Algebra/Lattice/Construct/Subst/Equality.agda usr/share/agda-stdlib/src/Algebra/Lattice/Construct/Zero.agda usr/share/agda-stdlib/src/Algebra/Lattice/Morphism usr/share/agda-stdlib/src/Algebra/Lattice/Morphism/Construct usr/share/agda-stdlib/src/Algebra/Lattice/Morphism/Construct/Composition.agda usr/share/agda-stdlib/src/Algebra/Lattice/Morphism/Construct/Identity.agda usr/share/agda-stdlib/src/Algebra/Lattice/Morphism/LatticeMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Lattice/Morphism/Structures.agda usr/share/agda-stdlib/src/Algebra/Lattice/Morphism.agda usr/share/agda-stdlib/src/Algebra/Lattice/Properties usr/share/agda-stdlib/src/Algebra/Lattice/Properties/BooleanAlgebra usr/share/agda-stdlib/src/Algebra/Lattice/Properties/BooleanAlgebra/Expression.agda usr/share/agda-stdlib/src/Algebra/Lattice/Properties/BooleanAlgebra.agda usr/share/agda-stdlib/src/Algebra/Lattice/Properties/DistributiveLattice.agda usr/share/agda-stdlib/src/Algebra/Lattice/Properties/Lattice.agda usr/share/agda-stdlib/src/Algebra/Lattice/Properties/Semilattice.agda usr/share/agda-stdlib/src/Algebra/Lattice/Structures usr/share/agda-stdlib/src/Algebra/Lattice/Structures/Biased.agda usr/share/agda-stdlib/src/Algebra/Lattice/Structures.agda usr/share/agda-stdlib/src/Algebra/Lattice.agda usr/share/agda-stdlib/src/Algebra/Module usr/share/agda-stdlib/src/Algebra/Module/Bundles usr/share/agda-stdlib/src/Algebra/Module/Bundles/Raw.agda usr/share/agda-stdlib/src/Algebra/Module/Bundles.agda usr/share/agda-stdlib/src/Algebra/Module/Consequences.agda usr/share/agda-stdlib/src/Algebra/Module/Construct usr/share/agda-stdlib/src/Algebra/Module/Construct/DirectProduct.agda usr/share/agda-stdlib/src/Algebra/Module/Construct/Idealization.agda usr/share/agda-stdlib/src/Algebra/Module/Construct/TensorUnit.agda usr/share/agda-stdlib/src/Algebra/Module/Construct/Zero.agda usr/share/agda-stdlib/src/Algebra/Module/Core.agda usr/share/agda-stdlib/src/Algebra/Module/Definitions usr/share/agda-stdlib/src/Algebra/Module/Definitions/Bi usr/share/agda-stdlib/src/Algebra/Module/Definitions/Bi/Simultaneous.agda usr/share/agda-stdlib/src/Algebra/Module/Definitions/Bi.agda usr/share/agda-stdlib/src/Algebra/Module/Definitions/Left.agda usr/share/agda-stdlib/src/Algebra/Module/Definitions/Right.agda usr/share/agda-stdlib/src/Algebra/Module/Definitions.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism usr/share/agda-stdlib/src/Algebra/Module/Morphism/BimoduleMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/BisemimoduleMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/Construct usr/share/agda-stdlib/src/Algebra/Module/Morphism/Construct/Composition.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/Construct/Identity.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/Definitions.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/LeftModuleMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/LeftSemimoduleMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/ModuleHomomorphism.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/ModuleMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/RightModuleMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/RightSemimoduleMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/SemimoduleMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Module/Morphism/Structures.agda usr/share/agda-stdlib/src/Algebra/Module/Properties usr/share/agda-stdlib/src/Algebra/Module/Properties/Bimodule.agda usr/share/agda-stdlib/src/Algebra/Module/Properties/LeftModule.agda usr/share/agda-stdlib/src/Algebra/Module/Properties/RightModule.agda usr/share/agda-stdlib/src/Algebra/Module/Properties/Semimodule.agda usr/share/agda-stdlib/src/Algebra/Module/Properties.agda usr/share/agda-stdlib/src/Algebra/Module/Structures usr/share/agda-stdlib/src/Algebra/Module/Structures/Biased.agda usr/share/agda-stdlib/src/Algebra/Module/Structures.agda usr/share/agda-stdlib/src/Algebra/Module.agda usr/share/agda-stdlib/src/Algebra/Morphism usr/share/agda-stdlib/src/Algebra/Morphism/Bundles.agda usr/share/agda-stdlib/src/Algebra/Morphism/Consequences.agda usr/share/agda-stdlib/src/Algebra/Morphism/Construct usr/share/agda-stdlib/src/Algebra/Morphism/Construct/Composition.agda usr/share/agda-stdlib/src/Algebra/Morphism/Construct/DirectProduct.agda usr/share/agda-stdlib/src/Algebra/Morphism/Construct/Identity.agda usr/share/agda-stdlib/src/Algebra/Morphism/Construct/Initial.agda usr/share/agda-stdlib/src/Algebra/Morphism/Construct/Terminal.agda usr/share/agda-stdlib/src/Algebra/Morphism/Definitions.agda usr/share/agda-stdlib/src/Algebra/Morphism/GroupMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Morphism/MagmaMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Morphism/MonoidMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Morphism/RingMonomorphism.agda usr/share/agda-stdlib/src/Algebra/Morphism/Structures.agda usr/share/agda-stdlib/src/Algebra/Morphism.agda usr/share/agda-stdlib/src/Algebra/Operations usr/share/agda-stdlib/src/Algebra/Operations/CommutativeMonoid.agda usr/share/agda-stdlib/src/Algebra/Operations/Ring.agda usr/share/agda-stdlib/src/Algebra/Operations/Semiring.agda usr/share/agda-stdlib/src/Algebra/Properties usr/share/agda-stdlib/src/Algebra/Properties/AbelianGroup.agda usr/share/agda-stdlib/src/Algebra/Properties/BooleanAlgebra usr/share/agda-stdlib/src/Algebra/Properties/BooleanAlgebra/Expression.agda usr/share/agda-stdlib/src/Algebra/Properties/BooleanAlgebra.agda usr/share/agda-stdlib/src/Algebra/Properties/CancellativeCommutativeSemiring.agda usr/share/agda-stdlib/src/Algebra/Properties/CommutativeMagma usr/share/agda-stdlib/src/Algebra/Properties/CommutativeMagma/Divisibility.agda usr/share/agda-stdlib/src/Algebra/Properties/CommutativeMonoid usr/share/agda-stdlib/src/Algebra/Properties/CommutativeMonoid/Mult usr/share/agda-stdlib/src/Algebra/Properties/CommutativeMonoid/Mult/TCOptimised.agda usr/share/agda-stdlib/src/Algebra/Properties/CommutativeMonoid/Mult.agda usr/share/agda-stdlib/src/Algebra/Properties/CommutativeMonoid/Sum.agda usr/share/agda-stdlib/src/Algebra/Properties/CommutativeMonoid.agda usr/share/agda-stdlib/src/Algebra/Properties/CommutativeSemigroup usr/share/agda-stdlib/src/Algebra/Properties/CommutativeSemigroup/Divisibility.agda usr/share/agda-stdlib/src/Algebra/Properties/CommutativeSemigroup.agda usr/share/agda-stdlib/src/Algebra/Properties/CommutativeSemiring usr/share/agda-stdlib/src/Algebra/Properties/CommutativeSemiring/Binomial.agda usr/share/agda-stdlib/src/Algebra/Properties/CommutativeSemiring/Exp usr/share/agda-stdlib/src/Algebra/Properties/CommutativeSemiring/Exp/TCOptimised.agda usr/share/agda-stdlib/src/Algebra/Properties/CommutativeSemiring/Exp.agda usr/share/agda-stdlib/src/Algebra/Properties/DistributiveLattice.agda usr/share/agda-stdlib/src/Algebra/Properties/Group.agda usr/share/agda-stdlib/src/Algebra/Properties/IdempotentCommutativeMonoid.agda usr/share/agda-stdlib/src/Algebra/Properties/KleeneAlgebra.agda usr/share/agda-stdlib/src/Algebra/Properties/Lattice.agda usr/share/agda-stdlib/src/Algebra/Properties/Loop.agda usr/share/agda-stdlib/src/Algebra/Properties/Magma usr/share/agda-stdlib/src/Algebra/Properties/Magma/Divisibility.agda usr/share/agda-stdlib/src/Algebra/Properties/MiddleBolLoop.agda usr/share/agda-stdlib/src/Algebra/Properties/Monoid usr/share/agda-stdlib/src/Algebra/Properties/Monoid/Divisibility.agda usr/share/agda-stdlib/src/Algebra/Properties/Monoid/Mult usr/share/agda-stdlib/src/Algebra/Properties/Monoid/Mult/TCOptimised.agda usr/share/agda-stdlib/src/Algebra/Properties/Monoid/Mult.agda usr/share/agda-stdlib/src/Algebra/Properties/Monoid/Sum.agda usr/share/agda-stdlib/src/Algebra/Properties/Monoid.agda usr/share/agda-stdlib/src/Algebra/Properties/MoufangLoop.agda usr/share/agda-stdlib/src/Algebra/Properties/Quasigroup.agda usr/share/agda-stdlib/src/Algebra/Properties/Ring.agda usr/share/agda-stdlib/src/Algebra/Properties/RingWithoutOne.agda usr/share/agda-stdlib/src/Algebra/Properties/Semigroup usr/share/agda-stdlib/src/Algebra/Properties/Semigroup/Divisibility.agda usr/share/agda-stdlib/src/Algebra/Properties/Semigroup.agda usr/share/agda-stdlib/src/Algebra/Properties/Semilattice.agda usr/share/agda-stdlib/src/Algebra/Properties/Semiring usr/share/agda-stdlib/src/Algebra/Properties/Semiring/Binomial.agda usr/share/agda-stdlib/src/Algebra/Properties/Semiring/Divisibility.agda usr/share/agda-stdlib/src/Algebra/Properties/Semiring/Exp usr/share/agda-stdlib/src/Algebra/Properties/Semiring/Exp/TCOptimised.agda usr/share/agda-stdlib/src/Algebra/Properties/Semiring/Exp/TailRecursiveOptimised.agda usr/share/agda-stdlib/src/Algebra/Properties/Semiring/Exp.agda usr/share/agda-stdlib/src/Algebra/Properties/Semiring/Mult usr/share/agda-stdlib/src/Algebra/Properties/Semiring/Mult/TCOptimised.agda usr/share/agda-stdlib/src/Algebra/Properties/Semiring/Mult.agda usr/share/agda-stdlib/src/Algebra/Properties/Semiring/Primality.agda usr/share/agda-stdlib/src/Algebra/Properties/Semiring/Sum.agda usr/share/agda-stdlib/src/Algebra/Solver usr/share/agda-stdlib/src/Algebra/Solver/CommutativeMonoid usr/share/agda-stdlib/src/Algebra/Solver/CommutativeMonoid/Example.agda usr/share/agda-stdlib/src/Algebra/Solver/CommutativeMonoid/Normal.agda usr/share/agda-stdlib/src/Algebra/Solver/CommutativeMonoid.agda usr/share/agda-stdlib/src/Algebra/Solver/IdempotentCommutativeMonoid usr/share/agda-stdlib/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda usr/share/agda-stdlib/src/Algebra/Solver/IdempotentCommutativeMonoid/Normal.agda usr/share/agda-stdlib/src/Algebra/Solver/IdempotentCommutativeMonoid.agda usr/share/agda-stdlib/src/Algebra/Solver/Monoid usr/share/agda-stdlib/src/Algebra/Solver/Monoid/Expression.agda usr/share/agda-stdlib/src/Algebra/Solver/Monoid/Normal.agda usr/share/agda-stdlib/src/Algebra/Solver/Monoid/Solver.agda usr/share/agda-stdlib/src/Algebra/Solver/Monoid.agda usr/share/agda-stdlib/src/Algebra/Solver/Ring usr/share/agda-stdlib/src/Algebra/Solver/Ring/AlmostCommutativeRing.agda usr/share/agda-stdlib/src/Algebra/Solver/Ring/Lemmas.agda usr/share/agda-stdlib/src/Algebra/Solver/Ring/NaturalCoefficients usr/share/agda-stdlib/src/Algebra/Solver/Ring/NaturalCoefficients/Default.agda usr/share/agda-stdlib/src/Algebra/Solver/Ring/NaturalCoefficients.agda usr/share/agda-stdlib/src/Algebra/Solver/Ring/Simple.agda usr/share/agda-stdlib/src/Algebra/Solver/Ring.agda usr/share/agda-stdlib/src/Algebra/Structures usr/share/agda-stdlib/src/Algebra/Structures/Biased.agda usr/share/agda-stdlib/src/Algebra/Structures.agda usr/share/agda-stdlib/src/Algebra.agda usr/share/agda-stdlib/src/Axiom usr/share/agda-stdlib/src/Axiom/DoubleNegationElimination.agda usr/share/agda-stdlib/src/Axiom/ExcludedMiddle.agda usr/share/agda-stdlib/src/Axiom/Extensionality usr/share/agda-stdlib/src/Axiom/Extensionality/Heterogeneous.agda usr/share/agda-stdlib/src/Axiom/Extensionality/Propositional.agda usr/share/agda-stdlib/src/Axiom/UniquenessOfIdentityProofs usr/share/agda-stdlib/src/Axiom/UniquenessOfIdentityProofs/WithK.agda usr/share/agda-stdlib/src/Axiom/UniquenessOfIdentityProofs.agda usr/share/agda-stdlib/src/Codata usr/share/agda-stdlib/src/Codata/Guarded usr/share/agda-stdlib/src/Codata/Guarded/M.agda usr/share/agda-stdlib/src/Codata/Guarded/Stream usr/share/agda-stdlib/src/Codata/Guarded/Stream/Properties.agda usr/share/agda-stdlib/src/Codata/Guarded/Stream/Relation usr/share/agda-stdlib/src/Codata/Guarded/Stream/Relation/Binary usr/share/agda-stdlib/src/Codata/Guarded/Stream/Relation/Binary/Pointwise.agda usr/share/agda-stdlib/src/Codata/Guarded/Stream/Relation/Unary usr/share/agda-stdlib/src/Codata/Guarded/Stream/Relation/Unary/All.agda usr/share/agda-stdlib/src/Codata/Guarded/Stream/Relation/Unary/Any.agda usr/share/agda-stdlib/src/Codata/Guarded/Stream.agda usr/share/agda-stdlib/src/Codata/Musical usr/share/agda-stdlib/src/Codata/Musical/Cofin.agda usr/share/agda-stdlib/src/Codata/Musical/Colist usr/share/agda-stdlib/src/Codata/Musical/Colist/Base.agda usr/share/agda-stdlib/src/Codata/Musical/Colist/Bisimilarity.agda usr/share/agda-stdlib/src/Codata/Musical/Colist/Infinite-merge.agda usr/share/agda-stdlib/src/Codata/Musical/Colist/Properties.agda usr/share/agda-stdlib/src/Codata/Musical/Colist/Relation usr/share/agda-stdlib/src/Codata/Musical/Colist/Relation/Unary usr/share/agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/All usr/share/agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/All/Properties.agda usr/share/agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/All.agda usr/share/agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/Any usr/share/agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/Any/Properties.agda usr/share/agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/Any.agda usr/share/agda-stdlib/src/Codata/Musical/Colist.agda usr/share/agda-stdlib/src/Codata/Musical/Conat usr/share/agda-stdlib/src/Codata/Musical/Conat/Base.agda usr/share/agda-stdlib/src/Codata/Musical/Conat.agda usr/share/agda-stdlib/src/Codata/Musical/Conversion.agda usr/share/agda-stdlib/src/Codata/Musical/Costring.agda usr/share/agda-stdlib/src/Codata/Musical/Covec.agda usr/share/agda-stdlib/src/Codata/Musical/M usr/share/agda-stdlib/src/Codata/Musical/M/Indexed.agda usr/share/agda-stdlib/src/Codata/Musical/M.agda usr/share/agda-stdlib/src/Codata/Musical/Notation.agda usr/share/agda-stdlib/src/Codata/Musical/Stream.agda usr/share/agda-stdlib/src/Codata/Sized usr/share/agda-stdlib/src/Codata/Sized/Cofin usr/share/agda-stdlib/src/Codata/Sized/Cofin/Literals.agda usr/share/agda-stdlib/src/Codata/Sized/Cofin.agda usr/share/agda-stdlib/src/Codata/Sized/Colist usr/share/agda-stdlib/src/Codata/Sized/Colist/Bisimilarity.agda usr/share/agda-stdlib/src/Codata/Sized/Colist/Categorical.agda usr/share/agda-stdlib/src/Codata/Sized/Colist/Effectful.agda usr/share/agda-stdlib/src/Codata/Sized/Colist/Properties.agda usr/share/agda-stdlib/src/Codata/Sized/Colist.agda usr/share/agda-stdlib/src/Codata/Sized/Conat usr/share/agda-stdlib/src/Codata/Sized/Conat/Bisimilarity.agda usr/share/agda-stdlib/src/Codata/Sized/Conat/Literals.agda usr/share/agda-stdlib/src/Codata/Sized/Conat/Properties.agda usr/share/agda-stdlib/src/Codata/Sized/Conat.agda usr/share/agda-stdlib/src/Codata/Sized/Covec usr/share/agda-stdlib/src/Codata/Sized/Covec/Bisimilarity.agda usr/share/agda-stdlib/src/Codata/Sized/Covec/Categorical.agda usr/share/agda-stdlib/src/Codata/Sized/Covec/Effectful.agda usr/share/agda-stdlib/src/Codata/Sized/Covec/Instances.agda usr/share/agda-stdlib/src/Codata/Sized/Covec/Properties.agda usr/share/agda-stdlib/src/Codata/Sized/Covec.agda usr/share/agda-stdlib/src/Codata/Sized/Cowriter usr/share/agda-stdlib/src/Codata/Sized/Cowriter/Bisimilarity.agda usr/share/agda-stdlib/src/Codata/Sized/Cowriter.agda usr/share/agda-stdlib/src/Codata/Sized/Delay usr/share/agda-stdlib/src/Codata/Sized/Delay/Bisimilarity.agda usr/share/agda-stdlib/src/Codata/Sized/Delay/Categorical.agda usr/share/agda-stdlib/src/Codata/Sized/Delay/Effectful.agda usr/share/agda-stdlib/src/Codata/Sized/Delay/Properties.agda usr/share/agda-stdlib/src/Codata/Sized/Delay.agda usr/share/agda-stdlib/src/Codata/Sized/M usr/share/agda-stdlib/src/Codata/Sized/M/Bisimilarity.agda usr/share/agda-stdlib/src/Codata/Sized/M/Properties.agda usr/share/agda-stdlib/src/Codata/Sized/M.agda usr/share/agda-stdlib/src/Codata/Sized/Stream usr/share/agda-stdlib/src/Codata/Sized/Stream/Bisimilarity.agda usr/share/agda-stdlib/src/Codata/Sized/Stream/Categorical.agda usr/share/agda-stdlib/src/Codata/Sized/Stream/Effectful.agda usr/share/agda-stdlib/src/Codata/Sized/Stream/Instances.agda usr/share/agda-stdlib/src/Codata/Sized/Stream/Properties.agda usr/share/agda-stdlib/src/Codata/Sized/Stream.agda usr/share/agda-stdlib/src/Codata/Sized/Thunk.agda usr/share/agda-stdlib/src/Data usr/share/agda-stdlib/src/Data/AVL usr/share/agda-stdlib/src/Data/AVL/Height.agda usr/share/agda-stdlib/src/Data/AVL/Indexed usr/share/agda-stdlib/src/Data/AVL/Indexed/WithK.agda usr/share/agda-stdlib/src/Data/AVL/Indexed.agda usr/share/agda-stdlib/src/Data/AVL/IndexedMap.agda usr/share/agda-stdlib/src/Data/AVL/Key.agda usr/share/agda-stdlib/src/Data/AVL/Map.agda usr/share/agda-stdlib/src/Data/AVL/NonEmpty usr/share/agda-stdlib/src/Data/AVL/NonEmpty/Propositional.agda usr/share/agda-stdlib/src/Data/AVL/NonEmpty.agda usr/share/agda-stdlib/src/Data/AVL/Sets.agda usr/share/agda-stdlib/src/Data/AVL/Value.agda usr/share/agda-stdlib/src/Data/AVL.agda usr/share/agda-stdlib/src/Data/Bool usr/share/agda-stdlib/src/Data/Bool/Base.agda usr/share/agda-stdlib/src/Data/Bool/Instances.agda usr/share/agda-stdlib/src/Data/Bool/ListAction.agda usr/share/agda-stdlib/src/Data/Bool/Properties.agda usr/share/agda-stdlib/src/Data/Bool/Show.agda usr/share/agda-stdlib/src/Data/Bool/Solver.agda usr/share/agda-stdlib/src/Data/Bool.agda usr/share/agda-stdlib/src/Data/Bytestring usr/share/agda-stdlib/src/Data/Bytestring/Base.agda usr/share/agda-stdlib/src/Data/Bytestring/Builder usr/share/agda-stdlib/src/Data/Bytestring/Builder/Base.agda usr/share/agda-stdlib/src/Data/Bytestring/Builder/Primitive.agda usr/share/agda-stdlib/src/Data/Bytestring/IO usr/share/agda-stdlib/src/Data/Bytestring/IO/Primitive.agda usr/share/agda-stdlib/src/Data/Bytestring/IO.agda usr/share/agda-stdlib/src/Data/Bytestring/Primitive.agda usr/share/agda-stdlib/src/Data/Char usr/share/agda-stdlib/src/Data/Char/Base.agda usr/share/agda-stdlib/src/Data/Char/Instances.agda usr/share/agda-stdlib/src/Data/Char/Properties.agda usr/share/agda-stdlib/src/Data/Char.agda usr/share/agda-stdlib/src/Data/Container usr/share/agda-stdlib/src/Data/Container/Any.agda usr/share/agda-stdlib/src/Data/Container/Combinator usr/share/agda-stdlib/src/Data/Container/Combinator/Properties.agda usr/share/agda-stdlib/src/Data/Container/Combinator.agda usr/share/agda-stdlib/src/Data/Container/Core.agda usr/share/agda-stdlib/src/Data/Container/Fixpoints usr/share/agda-stdlib/src/Data/Container/Fixpoints/Guarded.agda usr/share/agda-stdlib/src/Data/Container/Fixpoints/Sized.agda usr/share/agda-stdlib/src/Data/Container/FreeMonad.agda usr/share/agda-stdlib/src/Data/Container/Indexed usr/share/agda-stdlib/src/Data/Container/Indexed/Combinator.agda usr/share/agda-stdlib/src/Data/Container/Indexed/Core.agda usr/share/agda-stdlib/src/Data/Container/Indexed/Fixpoints usr/share/agda-stdlib/src/Data/Container/Indexed/Fixpoints/Guarded.agda usr/share/agda-stdlib/src/Data/Container/Indexed/FreeMonad.agda usr/share/agda-stdlib/src/Data/Container/Indexed/Relation usr/share/agda-stdlib/src/Data/Container/Indexed/Relation/Binary usr/share/agda-stdlib/src/Data/Container/Indexed/Relation/Binary/Equality usr/share/agda-stdlib/src/Data/Container/Indexed/Relation/Binary/Equality/Setoid.agda usr/share/agda-stdlib/src/Data/Container/Indexed/Relation/Binary/Pointwise usr/share/agda-stdlib/src/Data/Container/Indexed/Relation/Binary/Pointwise/Properties.agda usr/share/agda-stdlib/src/Data/Container/Indexed/Relation/Binary/Pointwise.agda usr/share/agda-stdlib/src/Data/Container/Indexed/WithK.agda usr/share/agda-stdlib/src/Data/Container/Indexed.agda usr/share/agda-stdlib/src/Data/Container/Membership.agda usr/share/agda-stdlib/src/Data/Container/Morphism usr/share/agda-stdlib/src/Data/Container/Morphism/Properties.agda usr/share/agda-stdlib/src/Data/Container/Morphism.agda usr/share/agda-stdlib/src/Data/Container/Properties.agda usr/share/agda-stdlib/src/Data/Container/Related.agda usr/share/agda-stdlib/src/Data/Container/Relation usr/share/agda-stdlib/src/Data/Container/Relation/Binary usr/share/agda-stdlib/src/Data/Container/Relation/Binary/Equality usr/share/agda-stdlib/src/Data/Container/Relation/Binary/Equality/Setoid.agda usr/share/agda-stdlib/src/Data/Container/Relation/Binary/Pointwise usr/share/agda-stdlib/src/Data/Container/Relation/Binary/Pointwise/Properties.agda usr/share/agda-stdlib/src/Data/Container/Relation/Binary/Pointwise.agda usr/share/agda-stdlib/src/Data/Container/Relation/Unary usr/share/agda-stdlib/src/Data/Container/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/Container/Relation/Unary/Any usr/share/agda-stdlib/src/Data/Container/Relation/Unary/Any/Properties.agda usr/share/agda-stdlib/src/Data/Container/Relation/Unary/Any.agda usr/share/agda-stdlib/src/Data/Container.agda usr/share/agda-stdlib/src/Data/Default.agda usr/share/agda-stdlib/src/Data/DifferenceList.agda usr/share/agda-stdlib/src/Data/DifferenceNat.agda usr/share/agda-stdlib/src/Data/DifferenceVec.agda usr/share/agda-stdlib/src/Data/Digit usr/share/agda-stdlib/src/Data/Digit/Properties.agda usr/share/agda-stdlib/src/Data/Digit.agda usr/share/agda-stdlib/src/Data/Empty usr/share/agda-stdlib/src/Data/Empty/Irrelevant.agda usr/share/agda-stdlib/src/Data/Empty/Polymorphic.agda usr/share/agda-stdlib/src/Data/Empty.agda usr/share/agda-stdlib/src/Data/Erased.agda usr/share/agda-stdlib/src/Data/Fin usr/share/agda-stdlib/src/Data/Fin/Base.agda usr/share/agda-stdlib/src/Data/Fin/Induction.agda usr/share/agda-stdlib/src/Data/Fin/Instances.agda usr/share/agda-stdlib/src/Data/Fin/Literals.agda usr/share/agda-stdlib/src/Data/Fin/Patterns.agda usr/share/agda-stdlib/src/Data/Fin/Permutation usr/share/agda-stdlib/src/Data/Fin/Permutation/Components.agda usr/share/agda-stdlib/src/Data/Fin/Permutation/Transposition usr/share/agda-stdlib/src/Data/Fin/Permutation/Transposition/List.agda usr/share/agda-stdlib/src/Data/Fin/Permutation.agda usr/share/agda-stdlib/src/Data/Fin/Properties.agda usr/share/agda-stdlib/src/Data/Fin/Reflection.agda usr/share/agda-stdlib/src/Data/Fin/Relation usr/share/agda-stdlib/src/Data/Fin/Relation/Unary usr/share/agda-stdlib/src/Data/Fin/Relation/Unary/Top.agda usr/share/agda-stdlib/src/Data/Fin/Show.agda usr/share/agda-stdlib/src/Data/Fin/Subset usr/share/agda-stdlib/src/Data/Fin/Subset/Induction.agda usr/share/agda-stdlib/src/Data/Fin/Subset/Properties.agda usr/share/agda-stdlib/src/Data/Fin/Subset.agda usr/share/agda-stdlib/src/Data/Fin/Substitution usr/share/agda-stdlib/src/Data/Fin/Substitution/Example.agda usr/share/agda-stdlib/src/Data/Fin/Substitution/Lemmas.agda usr/share/agda-stdlib/src/Data/Fin/Substitution/List.agda usr/share/agda-stdlib/src/Data/Fin/Substitution.agda usr/share/agda-stdlib/src/Data/Fin.agda usr/share/agda-stdlib/src/Data/Float usr/share/agda-stdlib/src/Data/Float/Base.agda usr/share/agda-stdlib/src/Data/Float/Instances.agda usr/share/agda-stdlib/src/Data/Float/Properties.agda usr/share/agda-stdlib/src/Data/Float.agda usr/share/agda-stdlib/src/Data/Graph usr/share/agda-stdlib/src/Data/Graph/Acyclic.agda usr/share/agda-stdlib/src/Data/Integer usr/share/agda-stdlib/src/Data/Integer/Base.agda usr/share/agda-stdlib/src/Data/Integer/Coprimality.agda usr/share/agda-stdlib/src/Data/Integer/DivMod.agda usr/share/agda-stdlib/src/Data/Integer/Divisibility usr/share/agda-stdlib/src/Data/Integer/Divisibility/Signed.agda usr/share/agda-stdlib/src/Data/Integer/Divisibility.agda usr/share/agda-stdlib/src/Data/Integer/GCD.agda usr/share/agda-stdlib/src/Data/Integer/Instances.agda usr/share/agda-stdlib/src/Data/Integer/LCM.agda usr/share/agda-stdlib/src/Data/Integer/Literals.agda usr/share/agda-stdlib/src/Data/Integer/Properties usr/share/agda-stdlib/src/Data/Integer/Properties/NatLemmas.agda usr/share/agda-stdlib/src/Data/Integer/Properties.agda usr/share/agda-stdlib/src/Data/Integer/Show.agda usr/share/agda-stdlib/src/Data/Integer/Solver.agda usr/share/agda-stdlib/src/Data/Integer/Tactic usr/share/agda-stdlib/src/Data/Integer/Tactic/RingSolver.agda usr/share/agda-stdlib/src/Data/Integer.agda usr/share/agda-stdlib/src/Data/Irrelevant.agda usr/share/agda-stdlib/src/Data/List usr/share/agda-stdlib/src/Data/List/Base.agda usr/share/agda-stdlib/src/Data/List/Categorical usr/share/agda-stdlib/src/Data/List/Categorical/Transformer.agda usr/share/agda-stdlib/src/Data/List/Categorical.agda usr/share/agda-stdlib/src/Data/List/Countdown.agda usr/share/agda-stdlib/src/Data/List/Effectful usr/share/agda-stdlib/src/Data/List/Effectful/Foldable.agda usr/share/agda-stdlib/src/Data/List/Effectful/Transformer.agda usr/share/agda-stdlib/src/Data/List/Effectful.agda usr/share/agda-stdlib/src/Data/List/Extrema usr/share/agda-stdlib/src/Data/List/Extrema/Core.agda usr/share/agda-stdlib/src/Data/List/Extrema/Nat.agda usr/share/agda-stdlib/src/Data/List/Extrema.agda usr/share/agda-stdlib/src/Data/List/Fresh usr/share/agda-stdlib/src/Data/List/Fresh/Membership usr/share/agda-stdlib/src/Data/List/Fresh/Membership/Setoid usr/share/agda-stdlib/src/Data/List/Fresh/Membership/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Fresh/Membership/Setoid.agda usr/share/agda-stdlib/src/Data/List/Fresh/NonEmpty.agda usr/share/agda-stdlib/src/Data/List/Fresh/Properties.agda usr/share/agda-stdlib/src/Data/List/Fresh/Relation usr/share/agda-stdlib/src/Data/List/Fresh/Relation/Unary usr/share/agda-stdlib/src/Data/List/Fresh/Relation/Unary/All usr/share/agda-stdlib/src/Data/List/Fresh/Relation/Unary/All/Properties.agda usr/share/agda-stdlib/src/Data/List/Fresh/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/List/Fresh/Relation/Unary/Any usr/share/agda-stdlib/src/Data/List/Fresh/Relation/Unary/Any/Properties.agda usr/share/agda-stdlib/src/Data/List/Fresh/Relation/Unary/Any.agda usr/share/agda-stdlib/src/Data/List/Fresh.agda usr/share/agda-stdlib/src/Data/List/Instances.agda usr/share/agda-stdlib/src/Data/List/Kleene usr/share/agda-stdlib/src/Data/List/Kleene/AsList.agda usr/share/agda-stdlib/src/Data/List/Kleene/Base.agda usr/share/agda-stdlib/src/Data/List/Kleene.agda usr/share/agda-stdlib/src/Data/List/Literals.agda usr/share/agda-stdlib/src/Data/List/Membership usr/share/agda-stdlib/src/Data/List/Membership/DecPropositional.agda usr/share/agda-stdlib/src/Data/List/Membership/DecSetoid.agda usr/share/agda-stdlib/src/Data/List/Membership/Propositional usr/share/agda-stdlib/src/Data/List/Membership/Propositional/Properties usr/share/agda-stdlib/src/Data/List/Membership/Propositional/Properties/Core.agda usr/share/agda-stdlib/src/Data/List/Membership/Propositional/Properties/WithK.agda usr/share/agda-stdlib/src/Data/List/Membership/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/List/Membership/Propositional.agda usr/share/agda-stdlib/src/Data/List/Membership/Setoid usr/share/agda-stdlib/src/Data/List/Membership/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Membership/Setoid.agda usr/share/agda-stdlib/src/Data/List/Nary usr/share/agda-stdlib/src/Data/List/Nary/NonDependent.agda usr/share/agda-stdlib/src/Data/List/NonEmpty usr/share/agda-stdlib/src/Data/List/NonEmpty/Base.agda usr/share/agda-stdlib/src/Data/List/NonEmpty/Categorical usr/share/agda-stdlib/src/Data/List/NonEmpty/Categorical/Transformer.agda usr/share/agda-stdlib/src/Data/List/NonEmpty/Categorical.agda usr/share/agda-stdlib/src/Data/List/NonEmpty/Effectful usr/share/agda-stdlib/src/Data/List/NonEmpty/Effectful/Transformer.agda usr/share/agda-stdlib/src/Data/List/NonEmpty/Effectful.agda usr/share/agda-stdlib/src/Data/List/NonEmpty/Instances.agda usr/share/agda-stdlib/src/Data/List/NonEmpty/Properties.agda usr/share/agda-stdlib/src/Data/List/NonEmpty/Relation usr/share/agda-stdlib/src/Data/List/NonEmpty/Relation/Unary usr/share/agda-stdlib/src/Data/List/NonEmpty/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/List/NonEmpty.agda usr/share/agda-stdlib/src/Data/List/Properties.agda usr/share/agda-stdlib/src/Data/List/Reflection.agda usr/share/agda-stdlib/src/Data/List/Relation usr/share/agda-stdlib/src/Data/List/Relation/Binary usr/share/agda-stdlib/src/Data/List/Relation/Binary/BagAndSetEquality.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Disjoint usr/share/agda-stdlib/src/Data/List/Relation/Binary/Disjoint/DecPropositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Disjoint/DecSetoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Disjoint/Propositional usr/share/agda-stdlib/src/Data/List/Relation/Binary/Disjoint/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Disjoint/Propositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Disjoint/Setoid usr/share/agda-stdlib/src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Disjoint/Setoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Equality usr/share/agda-stdlib/src/Data/List/Relation/Binary/Equality/DecPropositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Equality/DecSetoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Equality/Propositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Equality/Setoid usr/share/agda-stdlib/src/Data/List/Relation/Binary/Equality/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Equality/Setoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Infix usr/share/agda-stdlib/src/Data/List/Relation/Binary/Infix/Heterogeneous usr/share/agda-stdlib/src/Data/List/Relation/Binary/Infix/Heterogeneous/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Infix/Heterogeneous.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Infix/Homogeneous usr/share/agda-stdlib/src/Data/List/Relation/Binary/Infix/Homogeneous/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Lex usr/share/agda-stdlib/src/Data/List/Relation/Binary/Lex/Core.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Lex/NonStrict.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Lex/Strict.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Lex.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation/Homogeneous.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation/Propositional usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation/Propositional/Properties usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation/Propositional/Properties/WithK.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation/Propositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation/Setoid usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation/Setoid/Properties usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation/Setoid/Properties/Maybe.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Permutation/Setoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Pointwise usr/share/agda-stdlib/src/Data/List/Relation/Binary/Pointwise/Base.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Pointwise/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Pointwise.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Prefix usr/share/agda-stdlib/src/Data/List/Relation/Binary/Prefix/Heterogeneous usr/share/agda-stdlib/src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Prefix/Heterogeneous.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Prefix/Homogeneous usr/share/agda-stdlib/src/Data/List/Relation/Binary/Prefix/Homogeneous/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Prefix/Propositional usr/share/agda-stdlib/src/Data/List/Relation/Binary/Prefix/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecPropositional usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecPropositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecSetoid usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecSetoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Heterogeneous usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Heterogeneous.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional/Disjoint.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional/Example usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional/Example/UniqueBoundVariables.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional/Slice.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Setoid usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Sublist/Setoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Subset usr/share/agda-stdlib/src/Data/List/Relation/Binary/Subset/DecPropositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Subset/DecSetoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Subset/Propositional usr/share/agda-stdlib/src/Data/List/Relation/Binary/Subset/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Subset/Propositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Subset/Setoid usr/share/agda-stdlib/src/Data/List/Relation/Binary/Subset/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Subset/Setoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Suffix usr/share/agda-stdlib/src/Data/List/Relation/Binary/Suffix/Heterogeneous usr/share/agda-stdlib/src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Suffix/Heterogeneous.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Suffix/Homogeneous usr/share/agda-stdlib/src/Data/List/Relation/Binary/Suffix/Homogeneous/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Binary/Suffix/Propositional usr/share/agda-stdlib/src/Data/List/Relation/Binary/Suffix/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Appending usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Appending/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Appending/Propositional usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Appending/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Appending/Propositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Appending/Setoid usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Appending/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Appending/Setoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Appending.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Interleaving usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Propositional usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Propositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Setoid usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Setoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Ternary/Interleaving.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary usr/share/agda-stdlib/src/Data/List/Relation/Unary/All usr/share/agda-stdlib/src/Data/List/Relation/Unary/All/Properties usr/share/agda-stdlib/src/Data/List/Relation/Unary/All/Properties/Core.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/All/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/AllPairs usr/share/agda-stdlib/src/Data/List/Relation/Unary/AllPairs/Core.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/AllPairs/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/AllPairs.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Any usr/share/agda-stdlib/src/Data/List/Relation/Unary/Any/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Any.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Enumerates usr/share/agda-stdlib/src/Data/List/Relation/Unary/Enumerates/Setoid usr/share/agda-stdlib/src/Data/List/Relation/Unary/Enumerates/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Enumerates/Setoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/First usr/share/agda-stdlib/src/Data/List/Relation/Unary/First/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/First.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Grouped usr/share/agda-stdlib/src/Data/List/Relation/Unary/Grouped/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Grouped.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Linked usr/share/agda-stdlib/src/Data/List/Relation/Unary/Linked/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Linked.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Sorted usr/share/agda-stdlib/src/Data/List/Relation/Unary/Sorted/TotalOrder usr/share/agda-stdlib/src/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Sorted/TotalOrder.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Sufficient.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/DecPropositional usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/DecPropositional/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/DecPropositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/DecSetoid usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/DecSetoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/DecSetoid.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/Propositional usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/Propositional.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/Setoid usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/List/Relation/Unary/Unique/Setoid.agda usr/share/agda-stdlib/src/Data/List/Reverse.agda usr/share/agda-stdlib/src/Data/List/Scans usr/share/agda-stdlib/src/Data/List/Scans/Base.agda usr/share/agda-stdlib/src/Data/List/Scans/Properties.agda usr/share/agda-stdlib/src/Data/List/Show.agda usr/share/agda-stdlib/src/Data/List/Solver.agda usr/share/agda-stdlib/src/Data/List/Sort usr/share/agda-stdlib/src/Data/List/Sort/Base.agda usr/share/agda-stdlib/src/Data/List/Sort/InsertionSort usr/share/agda-stdlib/src/Data/List/Sort/InsertionSort/Base.agda usr/share/agda-stdlib/src/Data/List/Sort/InsertionSort/Properties.agda usr/share/agda-stdlib/src/Data/List/Sort/InsertionSort.agda usr/share/agda-stdlib/src/Data/List/Sort/MergeSort usr/share/agda-stdlib/src/Data/List/Sort/MergeSort/Base.agda usr/share/agda-stdlib/src/Data/List/Sort/MergeSort/Properties.agda usr/share/agda-stdlib/src/Data/List/Sort/MergeSort.agda usr/share/agda-stdlib/src/Data/List/Sort.agda usr/share/agda-stdlib/src/Data/List/Zipper usr/share/agda-stdlib/src/Data/List/Zipper/Properties.agda usr/share/agda-stdlib/src/Data/List/Zipper.agda usr/share/agda-stdlib/src/Data/List.agda usr/share/agda-stdlib/src/Data/Maybe usr/share/agda-stdlib/src/Data/Maybe/Base.agda usr/share/agda-stdlib/src/Data/Maybe/Categorical usr/share/agda-stdlib/src/Data/Maybe/Categorical/Transformer.agda usr/share/agda-stdlib/src/Data/Maybe/Categorical.agda usr/share/agda-stdlib/src/Data/Maybe/Effectful usr/share/agda-stdlib/src/Data/Maybe/Effectful/Transformer.agda usr/share/agda-stdlib/src/Data/Maybe/Effectful.agda usr/share/agda-stdlib/src/Data/Maybe/Instances.agda usr/share/agda-stdlib/src/Data/Maybe/Properties.agda usr/share/agda-stdlib/src/Data/Maybe/Relation usr/share/agda-stdlib/src/Data/Maybe/Relation/Binary usr/share/agda-stdlib/src/Data/Maybe/Relation/Binary/Connected.agda usr/share/agda-stdlib/src/Data/Maybe/Relation/Binary/Pointwise.agda usr/share/agda-stdlib/src/Data/Maybe/Relation/Unary usr/share/agda-stdlib/src/Data/Maybe/Relation/Unary/All usr/share/agda-stdlib/src/Data/Maybe/Relation/Unary/All/Properties.agda usr/share/agda-stdlib/src/Data/Maybe/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/Maybe/Relation/Unary/Any.agda usr/share/agda-stdlib/src/Data/Maybe.agda usr/share/agda-stdlib/src/Data/Nat usr/share/agda-stdlib/src/Data/Nat/Base.agda usr/share/agda-stdlib/src/Data/Nat/Binary usr/share/agda-stdlib/src/Data/Nat/Binary/Base.agda usr/share/agda-stdlib/src/Data/Nat/Binary/Induction.agda usr/share/agda-stdlib/src/Data/Nat/Binary/Instances.agda usr/share/agda-stdlib/src/Data/Nat/Binary/Properties.agda usr/share/agda-stdlib/src/Data/Nat/Binary/Subtraction.agda usr/share/agda-stdlib/src/Data/Nat/Binary.agda usr/share/agda-stdlib/src/Data/Nat/Combinatorics usr/share/agda-stdlib/src/Data/Nat/Combinatorics/Base.agda usr/share/agda-stdlib/src/Data/Nat/Combinatorics/Specification.agda usr/share/agda-stdlib/src/Data/Nat/Combinatorics.agda usr/share/agda-stdlib/src/Data/Nat/Coprimality.agda usr/share/agda-stdlib/src/Data/Nat/DivMod usr/share/agda-stdlib/src/Data/Nat/DivMod/Core.agda usr/share/agda-stdlib/src/Data/Nat/DivMod/WithK.agda usr/share/agda-stdlib/src/Data/Nat/DivMod.agda usr/share/agda-stdlib/src/Data/Nat/Divisibility usr/share/agda-stdlib/src/Data/Nat/Divisibility/Core.agda usr/share/agda-stdlib/src/Data/Nat/Divisibility.agda usr/share/agda-stdlib/src/Data/Nat/GCD usr/share/agda-stdlib/src/Data/Nat/GCD/Lemmas.agda usr/share/agda-stdlib/src/Data/Nat/GCD.agda usr/share/agda-stdlib/src/Data/Nat/GeneralisedArithmetic.agda usr/share/agda-stdlib/src/Data/Nat/Induction.agda usr/share/agda-stdlib/src/Data/Nat/InfinitelyOften.agda usr/share/agda-stdlib/src/Data/Nat/Instances.agda usr/share/agda-stdlib/src/Data/Nat/LCM.agda usr/share/agda-stdlib/src/Data/Nat/ListAction usr/share/agda-stdlib/src/Data/Nat/ListAction/Properties.agda usr/share/agda-stdlib/src/Data/Nat/ListAction.agda usr/share/agda-stdlib/src/Data/Nat/Literals.agda usr/share/agda-stdlib/src/Data/Nat/Logarithm usr/share/agda-stdlib/src/Data/Nat/Logarithm/Core.agda usr/share/agda-stdlib/src/Data/Nat/Logarithm.agda usr/share/agda-stdlib/src/Data/Nat/Primality usr/share/agda-stdlib/src/Data/Nat/Primality/Factorisation.agda usr/share/agda-stdlib/src/Data/Nat/Primality.agda usr/share/agda-stdlib/src/Data/Nat/Properties usr/share/agda-stdlib/src/Data/Nat/Properties/Core.agda usr/share/agda-stdlib/src/Data/Nat/Properties.agda usr/share/agda-stdlib/src/Data/Nat/PseudoRandom usr/share/agda-stdlib/src/Data/Nat/PseudoRandom/LCG usr/share/agda-stdlib/src/Data/Nat/PseudoRandom/LCG/Unsafe.agda usr/share/agda-stdlib/src/Data/Nat/PseudoRandom/LCG.agda usr/share/agda-stdlib/src/Data/Nat/Reflection.agda usr/share/agda-stdlib/src/Data/Nat/Show usr/share/agda-stdlib/src/Data/Nat/Show/Properties.agda usr/share/agda-stdlib/src/Data/Nat/Show.agda usr/share/agda-stdlib/src/Data/Nat/Solver.agda usr/share/agda-stdlib/src/Data/Nat/Tactic usr/share/agda-stdlib/src/Data/Nat/Tactic/RingSolver.agda usr/share/agda-stdlib/src/Data/Nat/WithK.agda usr/share/agda-stdlib/src/Data/Nat.agda usr/share/agda-stdlib/src/Data/Parity usr/share/agda-stdlib/src/Data/Parity/Base.agda usr/share/agda-stdlib/src/Data/Parity/Instances.agda usr/share/agda-stdlib/src/Data/Parity/Properties.agda usr/share/agda-stdlib/src/Data/Parity.agda usr/share/agda-stdlib/src/Data/Product usr/share/agda-stdlib/src/Data/Product/Algebra.agda usr/share/agda-stdlib/src/Data/Product/Base.agda usr/share/agda-stdlib/src/Data/Product/Categorical usr/share/agda-stdlib/src/Data/Product/Categorical/Examples.agda usr/share/agda-stdlib/src/Data/Product/Categorical/Left usr/share/agda-stdlib/src/Data/Product/Categorical/Left/Base.agda usr/share/agda-stdlib/src/Data/Product/Categorical/Left.agda usr/share/agda-stdlib/src/Data/Product/Categorical/Right usr/share/agda-stdlib/src/Data/Product/Categorical/Right/Base.agda usr/share/agda-stdlib/src/Data/Product/Categorical/Right.agda usr/share/agda-stdlib/src/Data/Product/Effectful usr/share/agda-stdlib/src/Data/Product/Effectful/Examples.agda usr/share/agda-stdlib/src/Data/Product/Effectful/Left usr/share/agda-stdlib/src/Data/Product/Effectful/Left/Base.agda usr/share/agda-stdlib/src/Data/Product/Effectful/Left.agda usr/share/agda-stdlib/src/Data/Product/Effectful/Right usr/share/agda-stdlib/src/Data/Product/Effectful/Right/Base.agda usr/share/agda-stdlib/src/Data/Product/Effectful/Right.agda usr/share/agda-stdlib/src/Data/Product/Function usr/share/agda-stdlib/src/Data/Product/Function/Dependent usr/share/agda-stdlib/src/Data/Product/Function/Dependent/Propositional usr/share/agda-stdlib/src/Data/Product/Function/Dependent/Propositional/WithK.agda usr/share/agda-stdlib/src/Data/Product/Function/Dependent/Propositional.agda usr/share/agda-stdlib/src/Data/Product/Function/Dependent/Setoid usr/share/agda-stdlib/src/Data/Product/Function/Dependent/Setoid/WithK.agda usr/share/agda-stdlib/src/Data/Product/Function/Dependent/Setoid.agda usr/share/agda-stdlib/src/Data/Product/Function/NonDependent usr/share/agda-stdlib/src/Data/Product/Function/NonDependent/Propositional.agda usr/share/agda-stdlib/src/Data/Product/Function/NonDependent/Setoid.agda usr/share/agda-stdlib/src/Data/Product/Instances.agda usr/share/agda-stdlib/src/Data/Product/Nary usr/share/agda-stdlib/src/Data/Product/Nary/NonDependent.agda usr/share/agda-stdlib/src/Data/Product/Properties usr/share/agda-stdlib/src/Data/Product/Properties/Dependent.agda usr/share/agda-stdlib/src/Data/Product/Properties/WithK.agda usr/share/agda-stdlib/src/Data/Product/Properties.agda usr/share/agda-stdlib/src/Data/Product/Relation usr/share/agda-stdlib/src/Data/Product/Relation/Binary usr/share/agda-stdlib/src/Data/Product/Relation/Binary/Lex usr/share/agda-stdlib/src/Data/Product/Relation/Binary/Lex/NonStrict.agda usr/share/agda-stdlib/src/Data/Product/Relation/Binary/Lex/Strict.agda usr/share/agda-stdlib/src/Data/Product/Relation/Binary/Pointwise usr/share/agda-stdlib/src/Data/Product/Relation/Binary/Pointwise/Dependent usr/share/agda-stdlib/src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agda usr/share/agda-stdlib/src/Data/Product/Relation/Binary/Pointwise/Dependent.agda usr/share/agda-stdlib/src/Data/Product/Relation/Binary/Pointwise/NonDependent.agda usr/share/agda-stdlib/src/Data/Product/Relation/Unary usr/share/agda-stdlib/src/Data/Product/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/Product.agda usr/share/agda-stdlib/src/Data/Rational usr/share/agda-stdlib/src/Data/Rational/Base.agda usr/share/agda-stdlib/src/Data/Rational/Instances.agda usr/share/agda-stdlib/src/Data/Rational/Literals.agda usr/share/agda-stdlib/src/Data/Rational/Properties.agda usr/share/agda-stdlib/src/Data/Rational/Show.agda usr/share/agda-stdlib/src/Data/Rational/Solver.agda usr/share/agda-stdlib/src/Data/Rational/Unnormalised usr/share/agda-stdlib/src/Data/Rational/Unnormalised/Base.agda usr/share/agda-stdlib/src/Data/Rational/Unnormalised/Properties.agda usr/share/agda-stdlib/src/Data/Rational/Unnormalised/Show.agda usr/share/agda-stdlib/src/Data/Rational/Unnormalised/Solver.agda usr/share/agda-stdlib/src/Data/Rational/Unnormalised.agda usr/share/agda-stdlib/src/Data/Rational.agda usr/share/agda-stdlib/src/Data/Record.agda usr/share/agda-stdlib/src/Data/Refinement usr/share/agda-stdlib/src/Data/Refinement/Base.agda usr/share/agda-stdlib/src/Data/Refinement/Properties.agda usr/share/agda-stdlib/src/Data/Refinement/Relation usr/share/agda-stdlib/src/Data/Refinement/Relation/Unary usr/share/agda-stdlib/src/Data/Refinement/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/Refinement.agda usr/share/agda-stdlib/src/Data/Sign usr/share/agda-stdlib/src/Data/Sign/Base.agda usr/share/agda-stdlib/src/Data/Sign/Instances.agda usr/share/agda-stdlib/src/Data/Sign/Properties.agda usr/share/agda-stdlib/src/Data/Sign/Show.agda usr/share/agda-stdlib/src/Data/Sign.agda usr/share/agda-stdlib/src/Data/Star usr/share/agda-stdlib/src/Data/Star/BoundedVec.agda usr/share/agda-stdlib/src/Data/Star/Decoration.agda usr/share/agda-stdlib/src/Data/Star/Environment.agda usr/share/agda-stdlib/src/Data/Star/Fin.agda usr/share/agda-stdlib/src/Data/Star/List.agda usr/share/agda-stdlib/src/Data/Star/Nat.agda usr/share/agda-stdlib/src/Data/Star/Pointer.agda usr/share/agda-stdlib/src/Data/Star/Vec.agda usr/share/agda-stdlib/src/Data/String usr/share/agda-stdlib/src/Data/String/Base.agda usr/share/agda-stdlib/src/Data/String/Instances.agda usr/share/agda-stdlib/src/Data/String/Literals.agda usr/share/agda-stdlib/src/Data/String/Properties.agda usr/share/agda-stdlib/src/Data/String/Unsafe.agda usr/share/agda-stdlib/src/Data/String.agda usr/share/agda-stdlib/src/Data/Sum usr/share/agda-stdlib/src/Data/Sum/Algebra.agda usr/share/agda-stdlib/src/Data/Sum/Base.agda usr/share/agda-stdlib/src/Data/Sum/Categorical usr/share/agda-stdlib/src/Data/Sum/Categorical/Examples.agda usr/share/agda-stdlib/src/Data/Sum/Categorical/Left usr/share/agda-stdlib/src/Data/Sum/Categorical/Left/Transformer.agda usr/share/agda-stdlib/src/Data/Sum/Categorical/Left.agda usr/share/agda-stdlib/src/Data/Sum/Categorical/Right usr/share/agda-stdlib/src/Data/Sum/Categorical/Right/Transformer.agda usr/share/agda-stdlib/src/Data/Sum/Categorical/Right.agda usr/share/agda-stdlib/src/Data/Sum/Effectful usr/share/agda-stdlib/src/Data/Sum/Effectful/Examples.agda usr/share/agda-stdlib/src/Data/Sum/Effectful/Left usr/share/agda-stdlib/src/Data/Sum/Effectful/Left/Transformer.agda usr/share/agda-stdlib/src/Data/Sum/Effectful/Left.agda usr/share/agda-stdlib/src/Data/Sum/Effectful/Right usr/share/agda-stdlib/src/Data/Sum/Effectful/Right/Transformer.agda usr/share/agda-stdlib/src/Data/Sum/Effectful/Right.agda usr/share/agda-stdlib/src/Data/Sum/Function usr/share/agda-stdlib/src/Data/Sum/Function/Propositional.agda usr/share/agda-stdlib/src/Data/Sum/Function/Setoid.agda usr/share/agda-stdlib/src/Data/Sum/Instances.agda usr/share/agda-stdlib/src/Data/Sum/Properties.agda usr/share/agda-stdlib/src/Data/Sum/Relation usr/share/agda-stdlib/src/Data/Sum/Relation/Binary usr/share/agda-stdlib/src/Data/Sum/Relation/Binary/LeftOrder.agda usr/share/agda-stdlib/src/Data/Sum/Relation/Binary/Pointwise.agda usr/share/agda-stdlib/src/Data/Sum/Relation/Unary usr/share/agda-stdlib/src/Data/Sum/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/Sum.agda usr/share/agda-stdlib/src/Data/These usr/share/agda-stdlib/src/Data/These/Base.agda usr/share/agda-stdlib/src/Data/These/Categorical usr/share/agda-stdlib/src/Data/These/Categorical/Left usr/share/agda-stdlib/src/Data/These/Categorical/Left/Base.agda usr/share/agda-stdlib/src/Data/These/Categorical/Left.agda usr/share/agda-stdlib/src/Data/These/Categorical/Right usr/share/agda-stdlib/src/Data/These/Categorical/Right/Base.agda usr/share/agda-stdlib/src/Data/These/Categorical/Right.agda usr/share/agda-stdlib/src/Data/These/Effectful usr/share/agda-stdlib/src/Data/These/Effectful/Left usr/share/agda-stdlib/src/Data/These/Effectful/Left/Base.agda usr/share/agda-stdlib/src/Data/These/Effectful/Left.agda usr/share/agda-stdlib/src/Data/These/Effectful/Right usr/share/agda-stdlib/src/Data/These/Effectful/Right/Base.agda usr/share/agda-stdlib/src/Data/These/Effectful/Right.agda usr/share/agda-stdlib/src/Data/These/Instances.agda usr/share/agda-stdlib/src/Data/These/Properties.agda usr/share/agda-stdlib/src/Data/These.agda usr/share/agda-stdlib/src/Data/Tree usr/share/agda-stdlib/src/Data/Tree/AVL usr/share/agda-stdlib/src/Data/Tree/AVL/Height.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Indexed usr/share/agda-stdlib/src/Data/Tree/AVL/Indexed/Relation usr/share/agda-stdlib/src/Data/Tree/AVL/Indexed/Relation/Unary usr/share/agda-stdlib/src/Data/Tree/AVL/Indexed/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Indexed/Relation/Unary/Any usr/share/agda-stdlib/src/Data/Tree/AVL/Indexed/Relation/Unary/Any/Properties.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Indexed/Relation/Unary/Any.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Indexed/WithK.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Indexed.agda usr/share/agda-stdlib/src/Data/Tree/AVL/IndexedMap.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Key.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Map usr/share/agda-stdlib/src/Data/Tree/AVL/Map/Membership usr/share/agda-stdlib/src/Data/Tree/AVL/Map/Membership/Propositional usr/share/agda-stdlib/src/Data/Tree/AVL/Map/Membership/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Map/Membership/Propositional.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Map/Relation usr/share/agda-stdlib/src/Data/Tree/AVL/Map/Relation/Unary usr/share/agda-stdlib/src/Data/Tree/AVL/Map/Relation/Unary/Any.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Map.agda usr/share/agda-stdlib/src/Data/Tree/AVL/NonEmpty usr/share/agda-stdlib/src/Data/Tree/AVL/NonEmpty/Propositional.agda usr/share/agda-stdlib/src/Data/Tree/AVL/NonEmpty.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Relation usr/share/agda-stdlib/src/Data/Tree/AVL/Relation/Unary usr/share/agda-stdlib/src/Data/Tree/AVL/Relation/Unary/Any.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Sets usr/share/agda-stdlib/src/Data/Tree/AVL/Sets/Membership usr/share/agda-stdlib/src/Data/Tree/AVL/Sets/Membership/Properties.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Sets/Membership.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Sets.agda usr/share/agda-stdlib/src/Data/Tree/AVL/Value.agda usr/share/agda-stdlib/src/Data/Tree/AVL.agda usr/share/agda-stdlib/src/Data/Tree/Binary usr/share/agda-stdlib/src/Data/Tree/Binary/Properties.agda usr/share/agda-stdlib/src/Data/Tree/Binary/Relation usr/share/agda-stdlib/src/Data/Tree/Binary/Relation/Unary usr/share/agda-stdlib/src/Data/Tree/Binary/Relation/Unary/All usr/share/agda-stdlib/src/Data/Tree/Binary/Relation/Unary/All/Properties.agda usr/share/agda-stdlib/src/Data/Tree/Binary/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/Tree/Binary/Show.agda usr/share/agda-stdlib/src/Data/Tree/Binary/Zipper usr/share/agda-stdlib/src/Data/Tree/Binary/Zipper/Properties.agda usr/share/agda-stdlib/src/Data/Tree/Binary/Zipper.agda usr/share/agda-stdlib/src/Data/Tree/Binary.agda usr/share/agda-stdlib/src/Data/Tree/Rose usr/share/agda-stdlib/src/Data/Tree/Rose/Properties.agda usr/share/agda-stdlib/src/Data/Tree/Rose/Show.agda usr/share/agda-stdlib/src/Data/Tree/Rose.agda usr/share/agda-stdlib/src/Data/Trie usr/share/agda-stdlib/src/Data/Trie/NonEmpty.agda usr/share/agda-stdlib/src/Data/Trie.agda usr/share/agda-stdlib/src/Data/Unit usr/share/agda-stdlib/src/Data/Unit/Base.agda usr/share/agda-stdlib/src/Data/Unit/Instances.agda usr/share/agda-stdlib/src/Data/Unit/NonEta.agda usr/share/agda-stdlib/src/Data/Unit/Polymorphic usr/share/agda-stdlib/src/Data/Unit/Polymorphic/Base.agda usr/share/agda-stdlib/src/Data/Unit/Polymorphic/Instances.agda usr/share/agda-stdlib/src/Data/Unit/Polymorphic/Properties.agda usr/share/agda-stdlib/src/Data/Unit/Polymorphic.agda usr/share/agda-stdlib/src/Data/Unit/Properties.agda usr/share/agda-stdlib/src/Data/Unit.agda usr/share/agda-stdlib/src/Data/Universe usr/share/agda-stdlib/src/Data/Universe/Indexed.agda usr/share/agda-stdlib/src/Data/Universe.agda usr/share/agda-stdlib/src/Data/Vec usr/share/agda-stdlib/src/Data/Vec/Base.agda usr/share/agda-stdlib/src/Data/Vec/Bounded usr/share/agda-stdlib/src/Data/Vec/Bounded/Base.agda usr/share/agda-stdlib/src/Data/Vec/Bounded/Show.agda usr/share/agda-stdlib/src/Data/Vec/Bounded.agda usr/share/agda-stdlib/src/Data/Vec/Categorical usr/share/agda-stdlib/src/Data/Vec/Categorical/Transformer.agda usr/share/agda-stdlib/src/Data/Vec/Categorical.agda usr/share/agda-stdlib/src/Data/Vec/Effectful usr/share/agda-stdlib/src/Data/Vec/Effectful/Foldable.agda usr/share/agda-stdlib/src/Data/Vec/Effectful/Transformer.agda usr/share/agda-stdlib/src/Data/Vec/Effectful.agda usr/share/agda-stdlib/src/Data/Vec/Functional usr/share/agda-stdlib/src/Data/Vec/Functional/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Functional/Relation usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Binary usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Equality usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Equality/Setoid.agda usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Permutation usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Permutation/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Permutation.agda usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Pointwise usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Pointwise/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Pointwise.agda usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Unary usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Unary/All usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Unary/All/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/Vec/Functional/Relation/Unary/Any.agda usr/share/agda-stdlib/src/Data/Vec/Functional.agda usr/share/agda-stdlib/src/Data/Vec/Instances.agda usr/share/agda-stdlib/src/Data/Vec/Membership usr/share/agda-stdlib/src/Data/Vec/Membership/DecPropositional.agda usr/share/agda-stdlib/src/Data/Vec/Membership/DecSetoid.agda usr/share/agda-stdlib/src/Data/Vec/Membership/Propositional usr/share/agda-stdlib/src/Data/Vec/Membership/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Membership/Propositional.agda usr/share/agda-stdlib/src/Data/Vec/Membership/Setoid.agda usr/share/agda-stdlib/src/Data/Vec/N-ary.agda usr/share/agda-stdlib/src/Data/Vec/Properties usr/share/agda-stdlib/src/Data/Vec/Properties/WithK.agda usr/share/agda-stdlib/src/Data/Vec/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Recursive usr/share/agda-stdlib/src/Data/Vec/Recursive/Categorical.agda usr/share/agda-stdlib/src/Data/Vec/Recursive/Effectful.agda usr/share/agda-stdlib/src/Data/Vec/Recursive/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Recursive.agda usr/share/agda-stdlib/src/Data/Vec/Reflection.agda usr/share/agda-stdlib/src/Data/Vec/Relation usr/share/agda-stdlib/src/Data/Vec/Relation/Binary usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Equality usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Equality/Cast.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Equality/DecPropositional.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Equality/DecSetoid.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Equality/Propositional usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Equality/Propositional.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Equality/Setoid.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Lex usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Lex/Core.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Lex/NonStrict.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Lex/Strict.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Pointwise usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Pointwise/Extensional.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Binary/Pointwise/Inductive.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/All usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/All/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/All.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/AllPairs usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/AllPairs/Core.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/AllPairs/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/AllPairs.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Any usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Any/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Any.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Linked usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Linked/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Linked.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Unique usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Propositional usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Propositional/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Propositional.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Setoid usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Setoid/Properties.agda usr/share/agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Setoid.agda usr/share/agda-stdlib/src/Data/Vec/Show.agda usr/share/agda-stdlib/src/Data/Vec.agda usr/share/agda-stdlib/src/Data/W usr/share/agda-stdlib/src/Data/W/Indexed.agda usr/share/agda-stdlib/src/Data/W/Sized.agda usr/share/agda-stdlib/src/Data/W/WithK.agda usr/share/agda-stdlib/src/Data/W.agda usr/share/agda-stdlib/src/Data/Word usr/share/agda-stdlib/src/Data/Word/Base.agda usr/share/agda-stdlib/src/Data/Word/Instances.agda usr/share/agda-stdlib/src/Data/Word/Properties.agda usr/share/agda-stdlib/src/Data/Word.agda usr/share/agda-stdlib/src/Data/Word64 usr/share/agda-stdlib/src/Data/Word64/Base.agda usr/share/agda-stdlib/src/Data/Word64/Instances.agda usr/share/agda-stdlib/src/Data/Word64/Literals.agda usr/share/agda-stdlib/src/Data/Word64/Primitive.agda usr/share/agda-stdlib/src/Data/Word64/Properties.agda usr/share/agda-stdlib/src/Data/Word64/Show.agda usr/share/agda-stdlib/src/Data/Word64/Unsafe.agda usr/share/agda-stdlib/src/Data/Word64.agda usr/share/agda-stdlib/src/Data/Word8 usr/share/agda-stdlib/src/Data/Word8/Base.agda usr/share/agda-stdlib/src/Data/Word8/Literals.agda usr/share/agda-stdlib/src/Data/Word8/Primitive.agda usr/share/agda-stdlib/src/Data/Word8/Show.agda usr/share/agda-stdlib/src/Data/Wrap.agda usr/share/agda-stdlib/src/Debug usr/share/agda-stdlib/src/Debug/Trace.agda usr/share/agda-stdlib/src/Effect usr/share/agda-stdlib/src/Effect/Applicative usr/share/agda-stdlib/src/Effect/Applicative/Indexed.agda usr/share/agda-stdlib/src/Effect/Applicative/Predicate.agda usr/share/agda-stdlib/src/Effect/Applicative.agda usr/share/agda-stdlib/src/Effect/Choice.agda usr/share/agda-stdlib/src/Effect/Comonad.agda usr/share/agda-stdlib/src/Effect/Empty.agda usr/share/agda-stdlib/src/Effect/Foldable.agda usr/share/agda-stdlib/src/Effect/Functor usr/share/agda-stdlib/src/Effect/Functor/Predicate.agda usr/share/agda-stdlib/src/Effect/Functor.agda usr/share/agda-stdlib/src/Effect/Monad usr/share/agda-stdlib/src/Effect/Monad/Continuation.agda usr/share/agda-stdlib/src/Effect/Monad/Error usr/share/agda-stdlib/src/Effect/Monad/Error/Transformer.agda usr/share/agda-stdlib/src/Effect/Monad/IO usr/share/agda-stdlib/src/Effect/Monad/IO/Instances.agda usr/share/agda-stdlib/src/Effect/Monad/IO.agda usr/share/agda-stdlib/src/Effect/Monad/Identity usr/share/agda-stdlib/src/Effect/Monad/Identity/Instances.agda usr/share/agda-stdlib/src/Effect/Monad/Identity.agda usr/share/agda-stdlib/src/Effect/Monad/Indexed.agda usr/share/agda-stdlib/src/Effect/Monad/Partiality usr/share/agda-stdlib/src/Effect/Monad/Partiality/All.agda usr/share/agda-stdlib/src/Effect/Monad/Partiality/Instances.agda usr/share/agda-stdlib/src/Effect/Monad/Partiality.agda usr/share/agda-stdlib/src/Effect/Monad/Predicate.agda usr/share/agda-stdlib/src/Effect/Monad/Reader usr/share/agda-stdlib/src/Effect/Monad/Reader/Indexed.agda usr/share/agda-stdlib/src/Effect/Monad/Reader/Instances.agda usr/share/agda-stdlib/src/Effect/Monad/Reader/Transformer usr/share/agda-stdlib/src/Effect/Monad/Reader/Transformer/Base.agda usr/share/agda-stdlib/src/Effect/Monad/Reader/Transformer.agda usr/share/agda-stdlib/src/Effect/Monad/Reader.agda usr/share/agda-stdlib/src/Effect/Monad/State usr/share/agda-stdlib/src/Effect/Monad/State/Indexed.agda usr/share/agda-stdlib/src/Effect/Monad/State/Instances.agda usr/share/agda-stdlib/src/Effect/Monad/State/Transformer usr/share/agda-stdlib/src/Effect/Monad/State/Transformer/Base.agda usr/share/agda-stdlib/src/Effect/Monad/State/Transformer.agda usr/share/agda-stdlib/src/Effect/Monad/State.agda usr/share/agda-stdlib/src/Effect/Monad/Writer usr/share/agda-stdlib/src/Effect/Monad/Writer/Indexed.agda usr/share/agda-stdlib/src/Effect/Monad/Writer/Instances.agda usr/share/agda-stdlib/src/Effect/Monad/Writer/Transformer usr/share/agda-stdlib/src/Effect/Monad/Writer/Transformer/Base.agda usr/share/agda-stdlib/src/Effect/Monad/Writer/Transformer.agda usr/share/agda-stdlib/src/Effect/Monad/Writer.agda usr/share/agda-stdlib/src/Effect/Monad.agda usr/share/agda-stdlib/src/Foreign usr/share/agda-stdlib/src/Foreign/Haskell usr/share/agda-stdlib/src/Foreign/Haskell/Coerce.agda usr/share/agda-stdlib/src/Foreign/Haskell/Either.agda usr/share/agda-stdlib/src/Foreign/Haskell/List usr/share/agda-stdlib/src/Foreign/Haskell/List/NonEmpty.agda usr/share/agda-stdlib/src/Foreign/Haskell/Maybe.agda usr/share/agda-stdlib/src/Foreign/Haskell/Pair.agda usr/share/agda-stdlib/src/Foreign/Haskell.agda usr/share/agda-stdlib/src/Function usr/share/agda-stdlib/src/Function/Base.agda usr/share/agda-stdlib/src/Function/Bijection.agda usr/share/agda-stdlib/src/Function/Bundles.agda usr/share/agda-stdlib/src/Function/Consequences usr/share/agda-stdlib/src/Function/Consequences/Propositional.agda usr/share/agda-stdlib/src/Function/Consequences/Setoid.agda usr/share/agda-stdlib/src/Function/Consequences.agda usr/share/agda-stdlib/src/Function/Construct usr/share/agda-stdlib/src/Function/Construct/Composition.agda usr/share/agda-stdlib/src/Function/Construct/Constant.agda usr/share/agda-stdlib/src/Function/Construct/Identity.agda usr/share/agda-stdlib/src/Function/Construct/Symmetry.agda usr/share/agda-stdlib/src/Function/Core.agda usr/share/agda-stdlib/src/Function/Definitions.agda usr/share/agda-stdlib/src/Function/Dependent usr/share/agda-stdlib/src/Function/Dependent/Bundles.agda usr/share/agda-stdlib/src/Function/Endo usr/share/agda-stdlib/src/Function/Endo/Propositional.agda usr/share/agda-stdlib/src/Function/Endo/Setoid.agda usr/share/agda-stdlib/src/Function/Endomorphism usr/share/agda-stdlib/src/Function/Endomorphism/Propositional.agda usr/share/agda-stdlib/src/Function/Endomorphism/Setoid.agda usr/share/agda-stdlib/src/Function/Equality.agda usr/share/agda-stdlib/src/Function/Equivalence.agda usr/share/agda-stdlib/src/Function/HalfAdjointEquivalence.agda usr/share/agda-stdlib/src/Function/Identity usr/share/agda-stdlib/src/Function/Identity/Categorical.agda usr/share/agda-stdlib/src/Function/Identity/Effectful.agda usr/share/agda-stdlib/src/Function/Indexed usr/share/agda-stdlib/src/Function/Indexed/Bundles.agda usr/share/agda-stdlib/src/Function/Indexed/Relation usr/share/agda-stdlib/src/Function/Indexed/Relation/Binary usr/share/agda-stdlib/src/Function/Indexed/Relation/Binary/Equality.agda usr/share/agda-stdlib/src/Function/Injection.agda usr/share/agda-stdlib/src/Function/Inverse.agda usr/share/agda-stdlib/src/Function/LeftInverse.agda usr/share/agda-stdlib/src/Function/Metric usr/share/agda-stdlib/src/Function/Metric/Bundles.agda usr/share/agda-stdlib/src/Function/Metric/Core.agda usr/share/agda-stdlib/src/Function/Metric/Definitions.agda usr/share/agda-stdlib/src/Function/Metric/Nat usr/share/agda-stdlib/src/Function/Metric/Nat/Bundles.agda usr/share/agda-stdlib/src/Function/Metric/Nat/Core.agda usr/share/agda-stdlib/src/Function/Metric/Nat/Definitions.agda usr/share/agda-stdlib/src/Function/Metric/Nat/Structures.agda usr/share/agda-stdlib/src/Function/Metric/Nat.agda usr/share/agda-stdlib/src/Function/Metric/Rational usr/share/agda-stdlib/src/Function/Metric/Rational/Bundles.agda usr/share/agda-stdlib/src/Function/Metric/Rational/Core.agda usr/share/agda-stdlib/src/Function/Metric/Rational/Definitions.agda usr/share/agda-stdlib/src/Function/Metric/Rational/Structures.agda usr/share/agda-stdlib/src/Function/Metric/Rational.agda usr/share/agda-stdlib/src/Function/Metric/Structures.agda usr/share/agda-stdlib/src/Function/Metric.agda usr/share/agda-stdlib/src/Function/Nary usr/share/agda-stdlib/src/Function/Nary/NonDependent usr/share/agda-stdlib/src/Function/Nary/NonDependent/Base.agda usr/share/agda-stdlib/src/Function/Nary/NonDependent.agda usr/share/agda-stdlib/src/Function/Properties usr/share/agda-stdlib/src/Function/Properties/Bijection.agda usr/share/agda-stdlib/src/Function/Properties/Equivalence.agda usr/share/agda-stdlib/src/Function/Properties/Injection.agda usr/share/agda-stdlib/src/Function/Properties/Inverse usr/share/agda-stdlib/src/Function/Properties/Inverse/HalfAdjointEquivalence.agda usr/share/agda-stdlib/src/Function/Properties/Inverse.agda usr/share/agda-stdlib/src/Function/Properties/RightInverse.agda usr/share/agda-stdlib/src/Function/Properties/Surjection.agda usr/share/agda-stdlib/src/Function/Properties.agda usr/share/agda-stdlib/src/Function/Reasoning.agda usr/share/agda-stdlib/src/Function/Related usr/share/agda-stdlib/src/Function/Related/Propositional.agda usr/share/agda-stdlib/src/Function/Related/TypeIsomorphisms usr/share/agda-stdlib/src/Function/Related/TypeIsomorphisms/Solver.agda usr/share/agda-stdlib/src/Function/Related/TypeIsomorphisms.agda usr/share/agda-stdlib/src/Function/Related.agda usr/share/agda-stdlib/src/Function/Relation usr/share/agda-stdlib/src/Function/Relation/Binary usr/share/agda-stdlib/src/Function/Relation/Binary/Setoid usr/share/agda-stdlib/src/Function/Relation/Binary/Setoid/Equality.agda usr/share/agda-stdlib/src/Function/Strict.agda usr/share/agda-stdlib/src/Function/Structures usr/share/agda-stdlib/src/Function/Structures/Biased.agda usr/share/agda-stdlib/src/Function/Structures.agda usr/share/agda-stdlib/src/Function/Surjection.agda usr/share/agda-stdlib/src/Function.agda usr/share/agda-stdlib/src/IO usr/share/agda-stdlib/src/IO/Base.agda usr/share/agda-stdlib/src/IO/Categorical.agda usr/share/agda-stdlib/src/IO/Effectful.agda usr/share/agda-stdlib/src/IO/Finite.agda usr/share/agda-stdlib/src/IO/Handle.agda usr/share/agda-stdlib/src/IO/Infinite.agda usr/share/agda-stdlib/src/IO/Instances.agda usr/share/agda-stdlib/src/IO/Primitive usr/share/agda-stdlib/src/IO/Primitive/Core.agda usr/share/agda-stdlib/src/IO/Primitive/Finite.agda usr/share/agda-stdlib/src/IO/Primitive/Handle.agda usr/share/agda-stdlib/src/IO/Primitive/Infinite.agda usr/share/agda-stdlib/src/IO/Primitive.agda usr/share/agda-stdlib/src/IO.agda usr/share/agda-stdlib/src/Induction usr/share/agda-stdlib/src/Induction/InfiniteDescent.agda usr/share/agda-stdlib/src/Induction/Lexicographic.agda usr/share/agda-stdlib/src/Induction/WellFounded.agda usr/share/agda-stdlib/src/Induction.agda usr/share/agda-stdlib/src/Level usr/share/agda-stdlib/src/Level/Literals.agda usr/share/agda-stdlib/src/Level.agda usr/share/agda-stdlib/src/Reflection usr/share/agda-stdlib/src/Reflection/AST usr/share/agda-stdlib/src/Reflection/AST/Abstraction.agda usr/share/agda-stdlib/src/Reflection/AST/AlphaEquality.agda usr/share/agda-stdlib/src/Reflection/AST/Argument usr/share/agda-stdlib/src/Reflection/AST/Argument/Information.agda usr/share/agda-stdlib/src/Reflection/AST/Argument/Modality.agda usr/share/agda-stdlib/src/Reflection/AST/Argument/Quantity.agda usr/share/agda-stdlib/src/Reflection/AST/Argument/Relevance.agda usr/share/agda-stdlib/src/Reflection/AST/Argument/Visibility.agda usr/share/agda-stdlib/src/Reflection/AST/Argument.agda usr/share/agda-stdlib/src/Reflection/AST/DeBruijn.agda usr/share/agda-stdlib/src/Reflection/AST/Definition.agda usr/share/agda-stdlib/src/Reflection/AST/Instances.agda usr/share/agda-stdlib/src/Reflection/AST/Literal.agda usr/share/agda-stdlib/src/Reflection/AST/Meta.agda usr/share/agda-stdlib/src/Reflection/AST/Name.agda usr/share/agda-stdlib/src/Reflection/AST/Pattern.agda usr/share/agda-stdlib/src/Reflection/AST/Show.agda usr/share/agda-stdlib/src/Reflection/AST/Term.agda usr/share/agda-stdlib/src/Reflection/AST/Traversal.agda usr/share/agda-stdlib/src/Reflection/AST/Universe.agda usr/share/agda-stdlib/src/Reflection/AST.agda usr/share/agda-stdlib/src/Reflection/AnnotatedAST usr/share/agda-stdlib/src/Reflection/AnnotatedAST/Free.agda usr/share/agda-stdlib/src/Reflection/AnnotatedAST.agda usr/share/agda-stdlib/src/Reflection/External.agda usr/share/agda-stdlib/src/Reflection/TCM usr/share/agda-stdlib/src/Reflection/TCM/Categorical.agda usr/share/agda-stdlib/src/Reflection/TCM/Effectful.agda usr/share/agda-stdlib/src/Reflection/TCM/Format.agda usr/share/agda-stdlib/src/Reflection/TCM/Instances.agda usr/share/agda-stdlib/src/Reflection/TCM/Syntax.agda usr/share/agda-stdlib/src/Reflection/TCM/Utilities.agda usr/share/agda-stdlib/src/Reflection/TCM.agda usr/share/agda-stdlib/src/Reflection.agda usr/share/agda-stdlib/src/Relation usr/share/agda-stdlib/src/Relation/Binary usr/share/agda-stdlib/src/Relation/Binary/Bundles usr/share/agda-stdlib/src/Relation/Binary/Bundles/Raw.agda usr/share/agda-stdlib/src/Relation/Binary/Bundles.agda usr/share/agda-stdlib/src/Relation/Binary/Consequences.agda usr/share/agda-stdlib/src/Relation/Binary/Construct usr/share/agda-stdlib/src/Relation/Binary/Construct/Add usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Extrema usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Extrema/Equality.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Extrema/NonStrict.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Extrema/Strict.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Infimum usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Infimum/Equality.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Infimum/NonStrict.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Infimum/Strict.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Point usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Point/Equality.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Supremum usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Supremum/Equality.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Supremum/NonStrict.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Add/Supremum/Strict.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Always.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Equivalence usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Equivalence/Properties.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Equivalence.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Reflexive usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Reflexive/Properties usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Reflexive/Properties.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Reflexive.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/ReflexiveTransitive usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Symmetric.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/SymmetricTransitive.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Transitive usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Transitive/WithK.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Closure/Transitive.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Composition.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Constant usr/share/agda-stdlib/src/Relation/Binary/Construct/Constant/Core.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Constant.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Converse.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Flip usr/share/agda-stdlib/src/Relation/Binary/Construct/Flip/EqAndOrd.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Flip/Ord.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Flip.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/FromPred.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/FromRel.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Interior usr/share/agda-stdlib/src/Relation/Binary/Construct/Interior/Symmetric.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Intersection.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/NaturalOrder usr/share/agda-stdlib/src/Relation/Binary/Construct/NaturalOrder/Left.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/NaturalOrder/Right.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Never.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/NonStrictToStrict.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/On.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/StrictToNonStrict.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Subst usr/share/agda-stdlib/src/Relation/Binary/Construct/Subst/Equality.agda usr/share/agda-stdlib/src/Relation/Binary/Construct/Union.agda usr/share/agda-stdlib/src/Relation/Binary/Core.agda usr/share/agda-stdlib/src/Relation/Binary/Definitions.agda usr/share/agda-stdlib/src/Relation/Binary/HeterogeneousEquality usr/share/agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Core.agda usr/share/agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Quotients usr/share/agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda usr/share/agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Quotients.agda usr/share/agda-stdlib/src/Relation/Binary/HeterogeneousEquality.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed usr/share/agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous usr/share/agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Bundles.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Construct usr/share/agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Core.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Definitions.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Structures.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Homogeneous usr/share/agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Bundles.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Construct usr/share/agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Construct/At.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Core.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Definitions.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Structures.agda usr/share/agda-stdlib/src/Relation/Binary/Indexed/Homogeneous.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice usr/share/agda-stdlib/src/Relation/Binary/Lattice/Bundles.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice/Definitions.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice/Properties usr/share/agda-stdlib/src/Relation/Binary/Lattice/Properties/BoundedJoinSemilattice.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice/Properties/BoundedLattice.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice/Properties/BoundedMeetSemilattice.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice/Properties/DistributiveLattice.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice/Properties/HeytingAlgebra.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice/Properties/JoinSemilattice.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice/Properties/Lattice.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice/Properties/MeetSemilattice.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice/Structures.agda usr/share/agda-stdlib/src/Relation/Binary/Lattice.agda usr/share/agda-stdlib/src/Relation/Binary/Morphism usr/share/agda-stdlib/src/Relation/Binary/Morphism/Bundles.agda usr/share/agda-stdlib/src/Relation/Binary/Morphism/Construct usr/share/agda-stdlib/src/Relation/Binary/Morphism/Construct/Composition.agda usr/share/agda-stdlib/src/Relation/Binary/Morphism/Construct/Constant.agda usr/share/agda-stdlib/src/Relation/Binary/Morphism/Construct/Identity.agda usr/share/agda-stdlib/src/Relation/Binary/Morphism/Construct/Product.agda usr/share/agda-stdlib/src/Relation/Binary/Morphism/Definitions.agda usr/share/agda-stdlib/src/Relation/Binary/Morphism/OrderMonomorphism.agda usr/share/agda-stdlib/src/Relation/Binary/Morphism/RelMonomorphism.agda usr/share/agda-stdlib/src/Relation/Binary/Morphism/Structures.agda usr/share/agda-stdlib/src/Relation/Binary/Morphism.agda usr/share/agda-stdlib/src/Relation/Binary/OrderMorphism.agda usr/share/agda-stdlib/src/Relation/Binary/Properties usr/share/agda-stdlib/src/Relation/Binary/Properties/ApartnessRelation.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/BoundedJoinSemilattice.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/BoundedLattice.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/BoundedMeetSemilattice.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/DecSetoid.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/DecTotalOrder.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/DistributiveLattice.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/HeytingAlgebra.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/JoinSemilattice.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/Lattice.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/MeetSemilattice.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/PartialSetoid.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/Poset.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/Preorder.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/Setoid.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/StrictPartialOrder.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/StrictTotalOrder.agda usr/share/agda-stdlib/src/Relation/Binary/Properties/TotalOrder.agda usr/share/agda-stdlib/src/Relation/Binary/PropositionalEquality usr/share/agda-stdlib/src/Relation/Binary/PropositionalEquality/Algebra.agda usr/share/agda-stdlib/src/Relation/Binary/PropositionalEquality/Core.agda usr/share/agda-stdlib/src/Relation/Binary/PropositionalEquality/Properties.agda usr/share/agda-stdlib/src/Relation/Binary/PropositionalEquality/TrustMe.agda usr/share/agda-stdlib/src/Relation/Binary/PropositionalEquality/WithK.agda usr/share/agda-stdlib/src/Relation/Binary/PropositionalEquality.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning usr/share/agda-stdlib/src/Relation/Binary/Reasoning/Base usr/share/agda-stdlib/src/Relation/Binary/Reasoning/Base/Apartness.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning/Base/Double.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning/Base/Partial.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning/Base/Single.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning/Base/Triple.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning/MultiSetoid.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning/PartialOrder.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning/PartialSetoid.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning/Preorder.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning/Setoid.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning/StrictPartialOrder.agda usr/share/agda-stdlib/src/Relation/Binary/Reasoning/Syntax.agda usr/share/agda-stdlib/src/Relation/Binary/Reflection.agda usr/share/agda-stdlib/src/Relation/Binary/Rewriting.agda usr/share/agda-stdlib/src/Relation/Binary/Structures usr/share/agda-stdlib/src/Relation/Binary/Structures/Biased.agda usr/share/agda-stdlib/src/Relation/Binary/Structures.agda usr/share/agda-stdlib/src/Relation/Binary/TypeClasses.agda usr/share/agda-stdlib/src/Relation/Binary.agda usr/share/agda-stdlib/src/Relation/Nary.agda usr/share/agda-stdlib/src/Relation/Nullary usr/share/agda-stdlib/src/Relation/Nullary/Construct usr/share/agda-stdlib/src/Relation/Nullary/Construct/Add usr/share/agda-stdlib/src/Relation/Nullary/Construct/Add/Extrema.agda usr/share/agda-stdlib/src/Relation/Nullary/Construct/Add/Infimum.agda usr/share/agda-stdlib/src/Relation/Nullary/Construct/Add/Point.agda usr/share/agda-stdlib/src/Relation/Nullary/Construct/Add/Supremum.agda usr/share/agda-stdlib/src/Relation/Nullary/Decidable usr/share/agda-stdlib/src/Relation/Nullary/Decidable/Core.agda usr/share/agda-stdlib/src/Relation/Nullary/Decidable.agda usr/share/agda-stdlib/src/Relation/Nullary/Implication.agda usr/share/agda-stdlib/src/Relation/Nullary/Indexed usr/share/agda-stdlib/src/Relation/Nullary/Indexed/Negation.agda usr/share/agda-stdlib/src/Relation/Nullary/Indexed.agda usr/share/agda-stdlib/src/Relation/Nullary/Irrelevant.agda usr/share/agda-stdlib/src/Relation/Nullary/Negation usr/share/agda-stdlib/src/Relation/Nullary/Negation/Core.agda usr/share/agda-stdlib/src/Relation/Nullary/Negation.agda usr/share/agda-stdlib/src/Relation/Nullary/Product.agda usr/share/agda-stdlib/src/Relation/Nullary/Recomputable usr/share/agda-stdlib/src/Relation/Nullary/Recomputable/Core.agda usr/share/agda-stdlib/src/Relation/Nullary/Recomputable.agda usr/share/agda-stdlib/src/Relation/Nullary/Reflects.agda usr/share/agda-stdlib/src/Relation/Nullary/Sum.agda usr/share/agda-stdlib/src/Relation/Nullary/Universe.agda usr/share/agda-stdlib/src/Relation/Nullary.agda usr/share/agda-stdlib/src/Relation/Unary usr/share/agda-stdlib/src/Relation/Unary/Algebra.agda usr/share/agda-stdlib/src/Relation/Unary/Closure usr/share/agda-stdlib/src/Relation/Unary/Closure/Base.agda usr/share/agda-stdlib/src/Relation/Unary/Closure/Preorder.agda usr/share/agda-stdlib/src/Relation/Unary/Closure/StrictPartialOrder.agda usr/share/agda-stdlib/src/Relation/Unary/Consequences.agda usr/share/agda-stdlib/src/Relation/Unary/Indexed.agda usr/share/agda-stdlib/src/Relation/Unary/Polymorphic usr/share/agda-stdlib/src/Relation/Unary/Polymorphic/Properties.agda usr/share/agda-stdlib/src/Relation/Unary/Polymorphic.agda usr/share/agda-stdlib/src/Relation/Unary/PredicateTransformer.agda usr/share/agda-stdlib/src/Relation/Unary/Properties.agda usr/share/agda-stdlib/src/Relation/Unary/Relation usr/share/agda-stdlib/src/Relation/Unary/Relation/Binary usr/share/agda-stdlib/src/Relation/Unary/Relation/Binary/Equality.agda usr/share/agda-stdlib/src/Relation/Unary/Relation/Binary/Subset.agda usr/share/agda-stdlib/src/Relation/Unary/Sized.agda usr/share/agda-stdlib/src/Relation/Unary.agda usr/share/agda-stdlib/src/Size.agda usr/share/agda-stdlib/src/Strict.agda usr/share/agda-stdlib/src/System usr/share/agda-stdlib/src/System/Clock usr/share/agda-stdlib/src/System/Clock/Primitive.agda usr/share/agda-stdlib/src/System/Clock.agda usr/share/agda-stdlib/src/System/Console usr/share/agda-stdlib/src/System/Console/ANSI.agda usr/share/agda-stdlib/src/System/Directory usr/share/agda-stdlib/src/System/Directory/Primitive.agda usr/share/agda-stdlib/src/System/Directory.agda usr/share/agda-stdlib/src/System/Environment usr/share/agda-stdlib/src/System/Environment/Primitive.agda usr/share/agda-stdlib/src/System/Environment.agda usr/share/agda-stdlib/src/System/Exit usr/share/agda-stdlib/src/System/Exit/Primitive.agda usr/share/agda-stdlib/src/System/Exit.agda usr/share/agda-stdlib/src/System/FilePath usr/share/agda-stdlib/src/System/FilePath/Posix usr/share/agda-stdlib/src/System/FilePath/Posix/Primitive.agda usr/share/agda-stdlib/src/System/FilePath/Posix.agda usr/share/agda-stdlib/src/System/Process usr/share/agda-stdlib/src/System/Process/Primitive.agda usr/share/agda-stdlib/src/System/Process.agda usr/share/agda-stdlib/src/System/Random usr/share/agda-stdlib/src/System/Random/Primitive.agda usr/share/agda-stdlib/src/System/Random.agda usr/share/agda-stdlib/src/Tactic usr/share/agda-stdlib/src/Tactic/Cong.agda usr/share/agda-stdlib/src/Tactic/MonoidSolver.agda usr/share/agda-stdlib/src/Tactic/RingSolver usr/share/agda-stdlib/src/Tactic/RingSolver/Core usr/share/agda-stdlib/src/Tactic/RingSolver/Core/AlmostCommutativeRing.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Expression.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/NatSet.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Base.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Addition.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Constants.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Exponentiation.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Lemmas.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Multiplication.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Negation.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Variables.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Parameters.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Reasoning.agda usr/share/agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Semantics.agda usr/share/agda-stdlib/src/Tactic/RingSolver/NonReflective.agda usr/share/agda-stdlib/src/Tactic/RingSolver.agda usr/share/agda-stdlib/src/Test usr/share/agda-stdlib/src/Test/Golden.agda usr/share/agda-stdlib/src/Text usr/share/agda-stdlib/src/Text/Format usr/share/agda-stdlib/src/Text/Format/Generic.agda usr/share/agda-stdlib/src/Text/Format.agda usr/share/agda-stdlib/src/Text/Pretty usr/share/agda-stdlib/src/Text/Pretty/Core.agda usr/share/agda-stdlib/src/Text/Pretty.agda usr/share/agda-stdlib/src/Text/Printf usr/share/agda-stdlib/src/Text/Printf/Generic.agda usr/share/agda-stdlib/src/Text/Printf.agda usr/share/agda-stdlib/src/Text/Regex usr/share/agda-stdlib/src/Text/Regex/Base.agda usr/share/agda-stdlib/src/Text/Regex/Derivative usr/share/agda-stdlib/src/Text/Regex/Derivative/Brzozowski.agda usr/share/agda-stdlib/src/Text/Regex/Properties usr/share/agda-stdlib/src/Text/Regex/Properties/Core.agda usr/share/agda-stdlib/src/Text/Regex/Properties.agda usr/share/agda-stdlib/src/Text/Regex/Search.agda usr/share/agda-stdlib/src/Text/Regex/SmartConstructors.agda usr/share/agda-stdlib/src/Text/Regex/String usr/share/agda-stdlib/src/Text/Regex/String/Unsafe.agda usr/share/agda-stdlib/src/Text/Regex/String.agda usr/share/agda-stdlib/src/Text/Regex.agda usr/share/agda-stdlib/src/Text/Tabular usr/share/agda-stdlib/src/Text/Tabular/Base.agda usr/share/agda-stdlib/src/Text/Tabular/List.agda usr/share/agda-stdlib/src/Text/Tabular/Vec.agda usr/share/agda-stdlib/src/Text/Tree usr/share/agda-stdlib/src/Text/Tree/Linear.agda usr/share/agda-stdlib/standard-library.agda-lib usr/share/doc usr/share/doc/agda-stdlib usr/share/doc/agda-stdlib/changelog.Debian.gz usr/share/doc/agda-stdlib/copyright