%FILES%
usr/
usr/share/
usr/share/agda/
usr/share/agda/lib/
usr/share/agda/lib/_build/
usr/share/agda/lib/_build/2.6.4.3/
usr/share/agda/lib/_build/2.6.4.3/agda/
usr/share/agda/lib/_build/2.6.4.3/agda/stdlib
usr/share/agda/lib/standard-library.agda-lib
usr/share/agda/lib/stdlib/
usr/share/agda/lib/stdlib/Algebra/
usr/share/agda/lib/stdlib/Algebra.agda
usr/share/agda/lib/stdlib/Algebra.agdai
usr/share/agda/lib/stdlib/Algebra/Apartness/
usr/share/agda/lib/stdlib/Algebra/Apartness.agda
usr/share/agda/lib/stdlib/Algebra/Apartness.agdai
usr/share/agda/lib/stdlib/Algebra/Apartness/Bundles.agda
usr/share/agda/lib/stdlib/Algebra/Apartness/Bundles.agdai
usr/share/agda/lib/stdlib/Algebra/Apartness/Properties/
usr/share/agda/lib/stdlib/Algebra/Apartness/Properties/HeytingCommutativeRing.agda
usr/share/agda/lib/stdlib/Algebra/Apartness/Properties/HeytingCommutativeRing.agdai
usr/share/agda/lib/stdlib/Algebra/Apartness/Structures.agda
usr/share/agda/lib/stdlib/Algebra/Apartness/Structures.agdai
usr/share/agda/lib/stdlib/Algebra/Bundles/
usr/share/agda/lib/stdlib/Algebra/Bundles.agda
usr/share/agda/lib/stdlib/Algebra/Bundles.agdai
usr/share/agda/lib/stdlib/Algebra/Bundles/Raw.agda
usr/share/agda/lib/stdlib/Algebra/Bundles/Raw.agdai
usr/share/agda/lib/stdlib/Algebra/Consequences/
usr/share/agda/lib/stdlib/Algebra/Consequences/Base.agda
usr/share/agda/lib/stdlib/Algebra/Consequences/Base.agdai
usr/share/agda/lib/stdlib/Algebra/Consequences/Propositional.agda
usr/share/agda/lib/stdlib/Algebra/Consequences/Propositional.agdai
usr/share/agda/lib/stdlib/Algebra/Consequences/Setoid.agda
usr/share/agda/lib/stdlib/Algebra/Consequences/Setoid.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/
usr/share/agda/lib/stdlib/Algebra/Construct/Add/
usr/share/agda/lib/stdlib/Algebra/Construct/Add/Identity.agda
usr/share/agda/lib/stdlib/Algebra/Construct/Add/Identity.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/DirectProduct.agda
usr/share/agda/lib/stdlib/Algebra/Construct/DirectProduct.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/Flip/
usr/share/agda/lib/stdlib/Algebra/Construct/Flip/Op.agda
usr/share/agda/lib/stdlib/Algebra/Construct/Flip/Op.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/Initial.agda
usr/share/agda/lib/stdlib/Algebra/Construct/Initial.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/LexProduct/
usr/share/agda/lib/stdlib/Algebra/Construct/LexProduct.agda
usr/share/agda/lib/stdlib/Algebra/Construct/LexProduct.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/LexProduct/Base.agda
usr/share/agda/lib/stdlib/Algebra/Construct/LexProduct/Base.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/LexProduct/Inner.agda
usr/share/agda/lib/stdlib/Algebra/Construct/LexProduct/Inner.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/LiftedChoice.agda
usr/share/agda/lib/stdlib/Algebra/Construct/LiftedChoice.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/Base.agda
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/Base.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/Max.agda
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/Max.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/MaxOp.agda
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/MaxOp.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/Min.agda
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/Min.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/MinMaxOp.agda
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/MinMaxOp.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/MinOp.agda
usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/MinOp.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/Pointwise.agda
usr/share/agda/lib/stdlib/Algebra/Construct/Pointwise.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/Subst/
usr/share/agda/lib/stdlib/Algebra/Construct/Subst/Equality.agda
usr/share/agda/lib/stdlib/Algebra/Construct/Subst/Equality.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/Terminal.agda
usr/share/agda/lib/stdlib/Algebra/Construct/Terminal.agdai
usr/share/agda/lib/stdlib/Algebra/Construct/Zero.agda
usr/share/agda/lib/stdlib/Algebra/Construct/Zero.agdai
usr/share/agda/lib/stdlib/Algebra/Core.agda
usr/share/agda/lib/stdlib/Algebra/Core.agdai
usr/share/agda/lib/stdlib/Algebra/Definitions/
usr/share/agda/lib/stdlib/Algebra/Definitions.agda
usr/share/agda/lib/stdlib/Algebra/Definitions.agdai
usr/share/agda/lib/stdlib/Algebra/Definitions/RawMagma.agda
usr/share/agda/lib/stdlib/Algebra/Definitions/RawMagma.agdai
usr/share/agda/lib/stdlib/Algebra/Definitions/RawMonoid.agda
usr/share/agda/lib/stdlib/Algebra/Definitions/RawMonoid.agdai
usr/share/agda/lib/stdlib/Algebra/Definitions/RawSemiring.agda
usr/share/agda/lib/stdlib/Algebra/Definitions/RawSemiring.agdai
usr/share/agda/lib/stdlib/Algebra/FunctionProperties/
usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Consequences/
usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Consequences.agda
usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Consequences/Core.agda
usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Consequences/Propositional.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/
usr/share/agda/lib/stdlib/Algebra/Lattice.agda
usr/share/agda/lib/stdlib/Algebra/Lattice.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Bundles/
usr/share/agda/lib/stdlib/Algebra/Lattice/Bundles.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Bundles.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Bundles/Raw.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Bundles/Raw.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/DirectProduct.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/DirectProduct.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/LiftedChoice.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/LiftedChoice.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/NaturalChoice/
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/NaturalChoice/MaxOp.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/NaturalChoice/MaxOp.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/NaturalChoice/MinMaxOp.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/NaturalChoice/MinMaxOp.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/NaturalChoice/MinOp.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/NaturalChoice/MinOp.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/Subst/
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/Subst/Equality.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/Subst/Equality.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/Zero.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Construct/Zero.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism/
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism/Construct/
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism/Construct/Composition.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism/Construct/Composition.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism/Construct/Identity.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism/Construct/Identity.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism/LatticeMonomorphism.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism/LatticeMonomorphism.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism/Structures.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Morphism/Structures.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/BooleanAlgebra/
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/BooleanAlgebra.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/BooleanAlgebra.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/BooleanAlgebra/Expression.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/BooleanAlgebra/Expression.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/DistributiveLattice.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/DistributiveLattice.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/Lattice.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/Lattice.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/Semilattice.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Properties/Semilattice.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Structures/
usr/share/agda/lib/stdlib/Algebra/Lattice/Structures.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Structures.agdai
usr/share/agda/lib/stdlib/Algebra/Lattice/Structures/Biased.agda
usr/share/agda/lib/stdlib/Algebra/Lattice/Structures/Biased.agdai
usr/share/agda/lib/stdlib/Algebra/Module/
usr/share/agda/lib/stdlib/Algebra/Module.agda
usr/share/agda/lib/stdlib/Algebra/Module.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Bundles/
usr/share/agda/lib/stdlib/Algebra/Module/Bundles.agda
usr/share/agda/lib/stdlib/Algebra/Module/Bundles.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Bundles/Raw.agda
usr/share/agda/lib/stdlib/Algebra/Module/Bundles/Raw.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Consequences.agda
usr/share/agda/lib/stdlib/Algebra/Module/Consequences.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Construct/
usr/share/agda/lib/stdlib/Algebra/Module/Construct/DirectProduct.agda
usr/share/agda/lib/stdlib/Algebra/Module/Construct/DirectProduct.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Construct/Idealization.agda
usr/share/agda/lib/stdlib/Algebra/Module/Construct/Idealization.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Construct/TensorUnit.agda
usr/share/agda/lib/stdlib/Algebra/Module/Construct/TensorUnit.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Construct/Zero.agda
usr/share/agda/lib/stdlib/Algebra/Module/Construct/Zero.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Core.agda
usr/share/agda/lib/stdlib/Algebra/Module/Core.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Definitions/
usr/share/agda/lib/stdlib/Algebra/Module/Definitions.agda
usr/share/agda/lib/stdlib/Algebra/Module/Definitions.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Definitions/Bi/
usr/share/agda/lib/stdlib/Algebra/Module/Definitions/Bi.agda
usr/share/agda/lib/stdlib/Algebra/Module/Definitions/Bi.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Definitions/Bi/Simultaneous.agda
usr/share/agda/lib/stdlib/Algebra/Module/Definitions/Bi/Simultaneous.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Definitions/Left.agda
usr/share/agda/lib/stdlib/Algebra/Module/Definitions/Left.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Definitions/Right.agda
usr/share/agda/lib/stdlib/Algebra/Module/Definitions/Right.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/Construct/
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/Construct/Composition.agda
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/Construct/Composition.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/Construct/Identity.agda
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/Construct/Identity.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/Definitions.agda
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/Definitions.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/ModuleHomomorphism.agda
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/ModuleHomomorphism.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/Structures.agda
usr/share/agda/lib/stdlib/Algebra/Module/Morphism/Structures.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Properties/
usr/share/agda/lib/stdlib/Algebra/Module/Properties.agda
usr/share/agda/lib/stdlib/Algebra/Module/Properties.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Properties/Semimodule.agda
usr/share/agda/lib/stdlib/Algebra/Module/Properties/Semimodule.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Structures/
usr/share/agda/lib/stdlib/Algebra/Module/Structures.agda
usr/share/agda/lib/stdlib/Algebra/Module/Structures.agdai
usr/share/agda/lib/stdlib/Algebra/Module/Structures/Biased.agda
usr/share/agda/lib/stdlib/Algebra/Module/Structures/Biased.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/
usr/share/agda/lib/stdlib/Algebra/Morphism.agda
usr/share/agda/lib/stdlib/Algebra/Morphism.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/Consequences.agda
usr/share/agda/lib/stdlib/Algebra/Morphism/Consequences.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/Construct/
usr/share/agda/lib/stdlib/Algebra/Morphism/Construct/Composition.agda
usr/share/agda/lib/stdlib/Algebra/Morphism/Construct/Composition.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/Construct/Identity.agda
usr/share/agda/lib/stdlib/Algebra/Morphism/Construct/Identity.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/Construct/Initial.agda
usr/share/agda/lib/stdlib/Algebra/Morphism/Construct/Initial.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/Construct/Terminal.agda
usr/share/agda/lib/stdlib/Algebra/Morphism/Construct/Terminal.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/Definitions.agda
usr/share/agda/lib/stdlib/Algebra/Morphism/Definitions.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/GroupMonomorphism.agda
usr/share/agda/lib/stdlib/Algebra/Morphism/GroupMonomorphism.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/MagmaMonomorphism.agda
usr/share/agda/lib/stdlib/Algebra/Morphism/MagmaMonomorphism.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/MonoidMonomorphism.agda
usr/share/agda/lib/stdlib/Algebra/Morphism/MonoidMonomorphism.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/RingMonomorphism.agda
usr/share/agda/lib/stdlib/Algebra/Morphism/RingMonomorphism.agdai
usr/share/agda/lib/stdlib/Algebra/Morphism/Structures.agda
usr/share/agda/lib/stdlib/Algebra/Morphism/Structures.agdai
usr/share/agda/lib/stdlib/Algebra/Operations/
usr/share/agda/lib/stdlib/Algebra/Operations/CommutativeMonoid.agda
usr/share/agda/lib/stdlib/Algebra/Operations/Ring.agda
usr/share/agda/lib/stdlib/Algebra/Operations/Semiring.agda
usr/share/agda/lib/stdlib/Algebra/Properties/
usr/share/agda/lib/stdlib/Algebra/Properties/AbelianGroup.agda
usr/share/agda/lib/stdlib/Algebra/Properties/AbelianGroup.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/BooleanAlgebra/
usr/share/agda/lib/stdlib/Algebra/Properties/BooleanAlgebra.agda
usr/share/agda/lib/stdlib/Algebra/Properties/BooleanAlgebra/Expression.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CancellativeCommutativeSemiring.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CancellativeCommutativeSemiring.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMagma/
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMagma/Divisibility.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMagma/Divisibility.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid/
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid/Mult/
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid/Mult.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid/Mult.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid/Mult/TCOptimised.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid/Mult/TCOptimised.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid/Sum.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid/Sum.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemigroup/
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemigroup.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemigroup.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemigroup/Divisibility.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemigroup/Divisibility.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemiring/
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemiring/Binomial.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemiring/Binomial.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemiring/Exp/
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemiring/Exp.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemiring/Exp.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemiring/Exp/TCOptimised.agda
usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeSemiring/Exp/TCOptimised.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/DistributiveLattice.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Group.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Group.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/KleeneAlgebra.agda
usr/share/agda/lib/stdlib/Algebra/Properties/KleeneAlgebra.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Lattice.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Loop.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Loop.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Magma/
usr/share/agda/lib/stdlib/Algebra/Properties/Magma/Divisibility.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Magma/Divisibility.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/MiddleBolLoop.agda
usr/share/agda/lib/stdlib/Algebra/Properties/MiddleBolLoop.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Monoid/
usr/share/agda/lib/stdlib/Algebra/Properties/Monoid/Divisibility.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Monoid/Divisibility.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Monoid/Mult/
usr/share/agda/lib/stdlib/Algebra/Properties/Monoid/Mult.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Monoid/Mult.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Monoid/Mult/TCOptimised.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Monoid/Mult/TCOptimised.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Monoid/Sum.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Monoid/Sum.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/MoufangLoop.agda
usr/share/agda/lib/stdlib/Algebra/Properties/MoufangLoop.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Quasigroup.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Quasigroup.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Ring.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Ring.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/RingWithoutOne.agda
usr/share/agda/lib/stdlib/Algebra/Properties/RingWithoutOne.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Semigroup/
usr/share/agda/lib/stdlib/Algebra/Properties/Semigroup.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semigroup.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Semigroup/Divisibility.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semigroup/Divisibility.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Semilattice.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Binomial.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Binomial.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Divisibility.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Divisibility.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Exp/
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Exp.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Exp.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Exp/TCOptimised.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Exp/TCOptimised.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Exp/TailRecursiveOptimised.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Exp/TailRecursiveOptimised.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Mult/
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Mult.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Mult.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Mult/TCOptimised.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Mult/TCOptimised.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Primality.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Primality.agdai
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Sum.agda
usr/share/agda/lib/stdlib/Algebra/Properties/Semiring/Sum.agdai
usr/share/agda/lib/stdlib/Algebra/Solver/
usr/share/agda/lib/stdlib/Algebra/Solver/CommutativeMonoid/
usr/share/agda/lib/stdlib/Algebra/Solver/CommutativeMonoid.agda
usr/share/agda/lib/stdlib/Algebra/Solver/CommutativeMonoid.agdai
usr/share/agda/lib/stdlib/Algebra/Solver/CommutativeMonoid/Example.agda
usr/share/agda/lib/stdlib/Algebra/Solver/CommutativeMonoid/Example.agdai
usr/share/agda/lib/stdlib/Algebra/Solver/IdempotentCommutativeMonoid/
usr/share/agda/lib/stdlib/Algebra/Solver/IdempotentCommutativeMonoid.agda
usr/share/agda/lib/stdlib/Algebra/Solver/IdempotentCommutativeMonoid.agdai
usr/share/agda/lib/stdlib/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda
usr/share/agda/lib/stdlib/Algebra/Solver/IdempotentCommutativeMonoid/Example.agdai
usr/share/agda/lib/stdlib/Algebra/Solver/Monoid.agda
usr/share/agda/lib/stdlib/Algebra/Solver/Monoid.agdai
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/
usr/share/agda/lib/stdlib/Algebra/Solver/Ring.agda
usr/share/agda/lib/stdlib/Algebra/Solver/Ring.agdai
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/AlmostCommutativeRing.agda
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/AlmostCommutativeRing.agdai
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/Lemmas.agda
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/Lemmas.agdai
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/NaturalCoefficients/
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/NaturalCoefficients.agda
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/NaturalCoefficients.agdai
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/NaturalCoefficients/Default.agda
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/NaturalCoefficients/Default.agdai
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/Simple.agda
usr/share/agda/lib/stdlib/Algebra/Solver/Ring/Simple.agdai
usr/share/agda/lib/stdlib/Algebra/Structures/
usr/share/agda/lib/stdlib/Algebra/Structures.agda
usr/share/agda/lib/stdlib/Algebra/Structures.agdai
usr/share/agda/lib/stdlib/Algebra/Structures/Biased.agda
usr/share/agda/lib/stdlib/Algebra/Structures/Biased.agdai
usr/share/agda/lib/stdlib/Axiom/
usr/share/agda/lib/stdlib/Axiom/DoubleNegationElimination.agda
usr/share/agda/lib/stdlib/Axiom/DoubleNegationElimination.agdai
usr/share/agda/lib/stdlib/Axiom/ExcludedMiddle.agda
usr/share/agda/lib/stdlib/Axiom/ExcludedMiddle.agdai
usr/share/agda/lib/stdlib/Axiom/Extensionality/
usr/share/agda/lib/stdlib/Axiom/Extensionality/Heterogeneous.agda
usr/share/agda/lib/stdlib/Axiom/Extensionality/Heterogeneous.agdai
usr/share/agda/lib/stdlib/Axiom/Extensionality/Propositional.agda
usr/share/agda/lib/stdlib/Axiom/Extensionality/Propositional.agdai
usr/share/agda/lib/stdlib/Axiom/UniquenessOfIdentityProofs/
usr/share/agda/lib/stdlib/Axiom/UniquenessOfIdentityProofs.agda
usr/share/agda/lib/stdlib/Axiom/UniquenessOfIdentityProofs.agdai
usr/share/agda/lib/stdlib/Axiom/UniquenessOfIdentityProofs/WithK.agda
usr/share/agda/lib/stdlib/Axiom/UniquenessOfIdentityProofs/WithK.agdai
usr/share/agda/lib/stdlib/Codata/
usr/share/agda/lib/stdlib/Codata/Guarded/
usr/share/agda/lib/stdlib/Codata/Guarded/M.agda
usr/share/agda/lib/stdlib/Codata/Guarded/M.agdai
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/
usr/share/agda/lib/stdlib/Codata/Guarded/Stream.agda
usr/share/agda/lib/stdlib/Codata/Guarded/Stream.agdai
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/Properties.agda
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/Properties.agdai
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/Relation/
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/Relation/Binary/
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/Relation/Binary/Pointwise.agda
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/Relation/Binary/Pointwise.agdai
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/Relation/Unary/
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/Relation/Unary/Any.agda
usr/share/agda/lib/stdlib/Codata/Guarded/Stream/Relation/Unary/Any.agdai
usr/share/agda/lib/stdlib/Codata/Musical/
usr/share/agda/lib/stdlib/Codata/Musical/Cofin.agda
usr/share/agda/lib/stdlib/Codata/Musical/Cofin.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Colist/
usr/share/agda/lib/stdlib/Codata/Musical/Colist.agda
usr/share/agda/lib/stdlib/Codata/Musical/Colist.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Base.agda
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Base.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Bisimilarity.agda
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Bisimilarity.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Infinite-merge.agda
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Infinite-merge.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Properties.agda
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Properties.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/Unary/
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/Unary/All/
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/Unary/All/Properties.agda
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/Unary/All/Properties.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/Unary/Any/
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/Unary/Any.agda
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/Unary/Any.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/Unary/Any/Properties.agda
usr/share/agda/lib/stdlib/Codata/Musical/Colist/Relation/Unary/Any/Properties.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Conat/
usr/share/agda/lib/stdlib/Codata/Musical/Conat.agda
usr/share/agda/lib/stdlib/Codata/Musical/Conat.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Conat/Base.agda
usr/share/agda/lib/stdlib/Codata/Musical/Conat/Base.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Conversion.agda
usr/share/agda/lib/stdlib/Codata/Musical/Conversion.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Costring.agda
usr/share/agda/lib/stdlib/Codata/Musical/Costring.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Covec.agda
usr/share/agda/lib/stdlib/Codata/Musical/Covec.agdai
usr/share/agda/lib/stdlib/Codata/Musical/M/
usr/share/agda/lib/stdlib/Codata/Musical/M.agda
usr/share/agda/lib/stdlib/Codata/Musical/M.agdai
usr/share/agda/lib/stdlib/Codata/Musical/M/Indexed.agda
usr/share/agda/lib/stdlib/Codata/Musical/M/Indexed.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Notation.agda
usr/share/agda/lib/stdlib/Codata/Musical/Notation.agdai
usr/share/agda/lib/stdlib/Codata/Musical/Stream.agda
usr/share/agda/lib/stdlib/Codata/Musical/Stream.agdai
usr/share/agda/lib/stdlib/Codata/Sized/
usr/share/agda/lib/stdlib/Codata/Sized/Cofin/
usr/share/agda/lib/stdlib/Codata/Sized/Cofin.agda
usr/share/agda/lib/stdlib/Codata/Sized/Cofin.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Cofin/Literals.agda
usr/share/agda/lib/stdlib/Codata/Sized/Cofin/Literals.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Colist/
usr/share/agda/lib/stdlib/Codata/Sized/Colist.agda
usr/share/agda/lib/stdlib/Codata/Sized/Colist.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Colist/Bisimilarity.agda
usr/share/agda/lib/stdlib/Codata/Sized/Colist/Bisimilarity.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Colist/Categorical.agda
usr/share/agda/lib/stdlib/Codata/Sized/Colist/Effectful.agda
usr/share/agda/lib/stdlib/Codata/Sized/Colist/Effectful.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Colist/Properties.agda
usr/share/agda/lib/stdlib/Codata/Sized/Colist/Properties.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Conat/
usr/share/agda/lib/stdlib/Codata/Sized/Conat.agda
usr/share/agda/lib/stdlib/Codata/Sized/Conat.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Conat/Bisimilarity.agda
usr/share/agda/lib/stdlib/Codata/Sized/Conat/Bisimilarity.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Conat/Literals.agda
usr/share/agda/lib/stdlib/Codata/Sized/Conat/Literals.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Conat/Properties.agda
usr/share/agda/lib/stdlib/Codata/Sized/Conat/Properties.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Covec/
usr/share/agda/lib/stdlib/Codata/Sized/Covec.agda
usr/share/agda/lib/stdlib/Codata/Sized/Covec.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Covec/Bisimilarity.agda
usr/share/agda/lib/stdlib/Codata/Sized/Covec/Bisimilarity.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Covec/Categorical.agda
usr/share/agda/lib/stdlib/Codata/Sized/Covec/Effectful.agda
usr/share/agda/lib/stdlib/Codata/Sized/Covec/Effectful.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Covec/Instances.agda
usr/share/agda/lib/stdlib/Codata/Sized/Covec/Instances.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Covec/Properties.agda
usr/share/agda/lib/stdlib/Codata/Sized/Covec/Properties.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Cowriter/
usr/share/agda/lib/stdlib/Codata/Sized/Cowriter.agda
usr/share/agda/lib/stdlib/Codata/Sized/Cowriter.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Cowriter/Bisimilarity.agda
usr/share/agda/lib/stdlib/Codata/Sized/Cowriter/Bisimilarity.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Delay/
usr/share/agda/lib/stdlib/Codata/Sized/Delay.agda
usr/share/agda/lib/stdlib/Codata/Sized/Delay.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Delay/Bisimilarity.agda
usr/share/agda/lib/stdlib/Codata/Sized/Delay/Bisimilarity.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Delay/Categorical.agda
usr/share/agda/lib/stdlib/Codata/Sized/Delay/Effectful.agda
usr/share/agda/lib/stdlib/Codata/Sized/Delay/Effectful.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Delay/Properties.agda
usr/share/agda/lib/stdlib/Codata/Sized/Delay/Properties.agdai
usr/share/agda/lib/stdlib/Codata/Sized/M/
usr/share/agda/lib/stdlib/Codata/Sized/M.agda
usr/share/agda/lib/stdlib/Codata/Sized/M.agdai
usr/share/agda/lib/stdlib/Codata/Sized/M/Bisimilarity.agda
usr/share/agda/lib/stdlib/Codata/Sized/M/Bisimilarity.agdai
usr/share/agda/lib/stdlib/Codata/Sized/M/Properties.agda
usr/share/agda/lib/stdlib/Codata/Sized/M/Properties.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Stream/
usr/share/agda/lib/stdlib/Codata/Sized/Stream.agda
usr/share/agda/lib/stdlib/Codata/Sized/Stream.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Stream/Bisimilarity.agda
usr/share/agda/lib/stdlib/Codata/Sized/Stream/Bisimilarity.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Stream/Categorical.agda
usr/share/agda/lib/stdlib/Codata/Sized/Stream/Effectful.agda
usr/share/agda/lib/stdlib/Codata/Sized/Stream/Effectful.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Stream/Instances.agda
usr/share/agda/lib/stdlib/Codata/Sized/Stream/Instances.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Stream/Properties.agda
usr/share/agda/lib/stdlib/Codata/Sized/Stream/Properties.agdai
usr/share/agda/lib/stdlib/Codata/Sized/Thunk.agda
usr/share/agda/lib/stdlib/Codata/Sized/Thunk.agdai
usr/share/agda/lib/stdlib/Data/
usr/share/agda/lib/stdlib/Data/AVL/
usr/share/agda/lib/stdlib/Data/AVL.agda
usr/share/agda/lib/stdlib/Data/AVL/Height.agda
usr/share/agda/lib/stdlib/Data/AVL/Indexed/
usr/share/agda/lib/stdlib/Data/AVL/Indexed.agda
usr/share/agda/lib/stdlib/Data/AVL/Indexed/WithK.agda
usr/share/agda/lib/stdlib/Data/AVL/IndexedMap.agda
usr/share/agda/lib/stdlib/Data/AVL/Key.agda
usr/share/agda/lib/stdlib/Data/AVL/Map.agda
usr/share/agda/lib/stdlib/Data/AVL/NonEmpty/
usr/share/agda/lib/stdlib/Data/AVL/NonEmpty.agda
usr/share/agda/lib/stdlib/Data/AVL/NonEmpty/Propositional.agda
usr/share/agda/lib/stdlib/Data/AVL/Sets.agda
usr/share/agda/lib/stdlib/Data/AVL/Value.agda
usr/share/agda/lib/stdlib/Data/Bool/
usr/share/agda/lib/stdlib/Data/Bool.agda
usr/share/agda/lib/stdlib/Data/Bool.agdai
usr/share/agda/lib/stdlib/Data/Bool/Base.agda
usr/share/agda/lib/stdlib/Data/Bool/Base.agdai
usr/share/agda/lib/stdlib/Data/Bool/Instances.agda
usr/share/agda/lib/stdlib/Data/Bool/Instances.agdai
usr/share/agda/lib/stdlib/Data/Bool/Properties.agda
usr/share/agda/lib/stdlib/Data/Bool/Properties.agdai
usr/share/agda/lib/stdlib/Data/Bool/Show.agda
usr/share/agda/lib/stdlib/Data/Bool/Show.agdai
usr/share/agda/lib/stdlib/Data/Bool/Solver.agda
usr/share/agda/lib/stdlib/Data/Bool/Solver.agdai
usr/share/agda/lib/stdlib/Data/Bytestring/
usr/share/agda/lib/stdlib/Data/Bytestring/Base.agda
usr/share/agda/lib/stdlib/Data/Bytestring/Base.agdai
usr/share/agda/lib/stdlib/Data/Bytestring/Builder/
usr/share/agda/lib/stdlib/Data/Bytestring/Builder/Base.agda
usr/share/agda/lib/stdlib/Data/Bytestring/Builder/Base.agdai
usr/share/agda/lib/stdlib/Data/Bytestring/Builder/Primitive.agda
usr/share/agda/lib/stdlib/Data/Bytestring/Builder/Primitive.agdai
usr/share/agda/lib/stdlib/Data/Bytestring/IO/
usr/share/agda/lib/stdlib/Data/Bytestring/IO.agda
usr/share/agda/lib/stdlib/Data/Bytestring/IO.agdai
usr/share/agda/lib/stdlib/Data/Bytestring/IO/Primitive.agda
usr/share/agda/lib/stdlib/Data/Bytestring/IO/Primitive.agdai
usr/share/agda/lib/stdlib/Data/Bytestring/Primitive.agda
usr/share/agda/lib/stdlib/Data/Bytestring/Primitive.agdai
usr/share/agda/lib/stdlib/Data/Char/
usr/share/agda/lib/stdlib/Data/Char.agda
usr/share/agda/lib/stdlib/Data/Char.agdai
usr/share/agda/lib/stdlib/Data/Char/Base.agda
usr/share/agda/lib/stdlib/Data/Char/Base.agdai
usr/share/agda/lib/stdlib/Data/Char/Instances.agda
usr/share/agda/lib/stdlib/Data/Char/Instances.agdai
usr/share/agda/lib/stdlib/Data/Char/Properties.agda
usr/share/agda/lib/stdlib/Data/Char/Properties.agdai
usr/share/agda/lib/stdlib/Data/Container/
usr/share/agda/lib/stdlib/Data/Container.agda
usr/share/agda/lib/stdlib/Data/Container.agdai
usr/share/agda/lib/stdlib/Data/Container/Any.agda
usr/share/agda/lib/stdlib/Data/Container/Combinator/
usr/share/agda/lib/stdlib/Data/Container/Combinator.agda
usr/share/agda/lib/stdlib/Data/Container/Combinator.agdai
usr/share/agda/lib/stdlib/Data/Container/Combinator/Properties.agda
usr/share/agda/lib/stdlib/Data/Container/Combinator/Properties.agdai
usr/share/agda/lib/stdlib/Data/Container/Core.agda
usr/share/agda/lib/stdlib/Data/Container/Core.agdai
usr/share/agda/lib/stdlib/Data/Container/Fixpoints/
usr/share/agda/lib/stdlib/Data/Container/Fixpoints/Guarded.agda
usr/share/agda/lib/stdlib/Data/Container/Fixpoints/Guarded.agdai
usr/share/agda/lib/stdlib/Data/Container/Fixpoints/Sized.agda
usr/share/agda/lib/stdlib/Data/Container/Fixpoints/Sized.agdai
usr/share/agda/lib/stdlib/Data/Container/FreeMonad.agda
usr/share/agda/lib/stdlib/Data/Container/FreeMonad.agdai
usr/share/agda/lib/stdlib/Data/Container/Indexed/
usr/share/agda/lib/stdlib/Data/Container/Indexed.agda
usr/share/agda/lib/stdlib/Data/Container/Indexed.agdai
usr/share/agda/lib/stdlib/Data/Container/Indexed/Combinator.agda
usr/share/agda/lib/stdlib/Data/Container/Indexed/Combinator.agdai
usr/share/agda/lib/stdlib/Data/Container/Indexed/Core.agda
usr/share/agda/lib/stdlib/Data/Container/Indexed/Core.agdai
usr/share/agda/lib/stdlib/Data/Container/Indexed/Fixpoints/
usr/share/agda/lib/stdlib/Data/Container/Indexed/Fixpoints/Guarded.agda
usr/share/agda/lib/stdlib/Data/Container/Indexed/Fixpoints/Guarded.agdai
usr/share/agda/lib/stdlib/Data/Container/Indexed/FreeMonad.agda
usr/share/agda/lib/stdlib/Data/Container/Indexed/FreeMonad.agdai
usr/share/agda/lib/stdlib/Data/Container/Indexed/Relation/
usr/share/agda/lib/stdlib/Data/Container/Indexed/Relation/Binary/
usr/share/agda/lib/stdlib/Data/Container/Indexed/Relation/Binary/Equality/
usr/share/agda/lib/stdlib/Data/Container/Indexed/Relation/Binary/Equality/Setoid.agda
usr/share/agda/lib/stdlib/Data/Container/Indexed/Relation/Binary/Equality/Setoid.agdai
usr/share/agda/lib/stdlib/Data/Container/Indexed/Relation/Binary/Pointwise/
usr/share/agda/lib/stdlib/Data/Container/Indexed/Relation/Binary/Pointwise.agda
usr/share/agda/lib/stdlib/Data/Container/Indexed/Relation/Binary/Pointwise.agdai
usr/share/agda/lib/stdlib/Data/Container/Indexed/Relation/Binary/Pointwise/Properties.agda
usr/share/agda/lib/stdlib/Data/Container/Indexed/Relation/Binary/Pointwise/Properties.agdai
usr/share/agda/lib/stdlib/Data/Container/Indexed/WithK.agda
usr/share/agda/lib/stdlib/Data/Container/Indexed/WithK.agdai
usr/share/agda/lib/stdlib/Data/Container/Membership.agda
usr/share/agda/lib/stdlib/Data/Container/Membership.agdai
usr/share/agda/lib/stdlib/Data/Container/Morphism/
usr/share/agda/lib/stdlib/Data/Container/Morphism.agda
usr/share/agda/lib/stdlib/Data/Container/Morphism.agdai
usr/share/agda/lib/stdlib/Data/Container/Morphism/Properties.agda
usr/share/agda/lib/stdlib/Data/Container/Morphism/Properties.agdai
usr/share/agda/lib/stdlib/Data/Container/Properties.agda
usr/share/agda/lib/stdlib/Data/Container/Properties.agdai
usr/share/agda/lib/stdlib/Data/Container/Related.agda
usr/share/agda/lib/stdlib/Data/Container/Related.agdai
usr/share/agda/lib/stdlib/Data/Container/Relation/
usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/
usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Equality/
usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Equality/Setoid.agda
usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Equality/Setoid.agdai
usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Pointwise/
usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Pointwise.agda
usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Pointwise.agdai
usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Pointwise/Properties.agda
usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Pointwise/Properties.agdai
usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/Any/
usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/Any.agda
usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/Any.agdai
usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/Any/Properties.agda
usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/Any/Properties.agdai
usr/share/agda/lib/stdlib/Data/Default.agda
usr/share/agda/lib/stdlib/Data/Default.agdai
usr/share/agda/lib/stdlib/Data/DifferenceList.agda
usr/share/agda/lib/stdlib/Data/DifferenceList.agdai
usr/share/agda/lib/stdlib/Data/DifferenceNat.agda
usr/share/agda/lib/stdlib/Data/DifferenceNat.agdai
usr/share/agda/lib/stdlib/Data/DifferenceVec.agda
usr/share/agda/lib/stdlib/Data/DifferenceVec.agdai
usr/share/agda/lib/stdlib/Data/Digit/
usr/share/agda/lib/stdlib/Data/Digit.agda
usr/share/agda/lib/stdlib/Data/Digit.agdai
usr/share/agda/lib/stdlib/Data/Digit/Properties.agda
usr/share/agda/lib/stdlib/Data/Digit/Properties.agdai
usr/share/agda/lib/stdlib/Data/Empty/
usr/share/agda/lib/stdlib/Data/Empty.agda
usr/share/agda/lib/stdlib/Data/Empty.agdai
usr/share/agda/lib/stdlib/Data/Empty/Irrelevant.agda
usr/share/agda/lib/stdlib/Data/Empty/Irrelevant.agdai
usr/share/agda/lib/stdlib/Data/Empty/Polymorphic.agda
usr/share/agda/lib/stdlib/Data/Empty/Polymorphic.agdai
usr/share/agda/lib/stdlib/Data/Erased.agda
usr/share/agda/lib/stdlib/Data/Fin/
usr/share/agda/lib/stdlib/Data/Fin.agda
usr/share/agda/lib/stdlib/Data/Fin.agdai
usr/share/agda/lib/stdlib/Data/Fin/Base.agda
usr/share/agda/lib/stdlib/Data/Fin/Base.agdai
usr/share/agda/lib/stdlib/Data/Fin/Induction.agda
usr/share/agda/lib/stdlib/Data/Fin/Induction.agdai
usr/share/agda/lib/stdlib/Data/Fin/Instances.agda
usr/share/agda/lib/stdlib/Data/Fin/Instances.agdai
usr/share/agda/lib/stdlib/Data/Fin/Literals.agda
usr/share/agda/lib/stdlib/Data/Fin/Literals.agdai
usr/share/agda/lib/stdlib/Data/Fin/Patterns.agda
usr/share/agda/lib/stdlib/Data/Fin/Patterns.agdai
usr/share/agda/lib/stdlib/Data/Fin/Permutation/
usr/share/agda/lib/stdlib/Data/Fin/Permutation.agda
usr/share/agda/lib/stdlib/Data/Fin/Permutation.agdai
usr/share/agda/lib/stdlib/Data/Fin/Permutation/Components.agda
usr/share/agda/lib/stdlib/Data/Fin/Permutation/Components.agdai
usr/share/agda/lib/stdlib/Data/Fin/Permutation/Transposition/
usr/share/agda/lib/stdlib/Data/Fin/Permutation/Transposition/List.agda
usr/share/agda/lib/stdlib/Data/Fin/Permutation/Transposition/List.agdai
usr/share/agda/lib/stdlib/Data/Fin/Properties.agda
usr/share/agda/lib/stdlib/Data/Fin/Properties.agdai
usr/share/agda/lib/stdlib/Data/Fin/Reflection.agda
usr/share/agda/lib/stdlib/Data/Fin/Reflection.agdai
usr/share/agda/lib/stdlib/Data/Fin/Relation/
usr/share/agda/lib/stdlib/Data/Fin/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Fin/Relation/Unary/Top.agda
usr/share/agda/lib/stdlib/Data/Fin/Relation/Unary/Top.agdai
usr/share/agda/lib/stdlib/Data/Fin/Show.agda
usr/share/agda/lib/stdlib/Data/Fin/Show.agdai
usr/share/agda/lib/stdlib/Data/Fin/Subset/
usr/share/agda/lib/stdlib/Data/Fin/Subset.agda
usr/share/agda/lib/stdlib/Data/Fin/Subset.agdai
usr/share/agda/lib/stdlib/Data/Fin/Subset/Induction.agda
usr/share/agda/lib/stdlib/Data/Fin/Subset/Induction.agdai
usr/share/agda/lib/stdlib/Data/Fin/Subset/Properties.agda
usr/share/agda/lib/stdlib/Data/Fin/Subset/Properties.agdai
usr/share/agda/lib/stdlib/Data/Fin/Substitution/
usr/share/agda/lib/stdlib/Data/Fin/Substitution.agda
usr/share/agda/lib/stdlib/Data/Fin/Substitution.agdai
usr/share/agda/lib/stdlib/Data/Fin/Substitution/Example.agda
usr/share/agda/lib/stdlib/Data/Fin/Substitution/Lemmas.agda
usr/share/agda/lib/stdlib/Data/Fin/Substitution/Lemmas.agdai
usr/share/agda/lib/stdlib/Data/Fin/Substitution/List.agda
usr/share/agda/lib/stdlib/Data/Fin/Substitution/List.agdai
usr/share/agda/lib/stdlib/Data/Float/
usr/share/agda/lib/stdlib/Data/Float.agda
usr/share/agda/lib/stdlib/Data/Float.agdai
usr/share/agda/lib/stdlib/Data/Float/Base.agda
usr/share/agda/lib/stdlib/Data/Float/Base.agdai
usr/share/agda/lib/stdlib/Data/Float/Instances.agda
usr/share/agda/lib/stdlib/Data/Float/Instances.agdai
usr/share/agda/lib/stdlib/Data/Float/Properties.agda
usr/share/agda/lib/stdlib/Data/Float/Properties.agdai
usr/share/agda/lib/stdlib/Data/Graph/
usr/share/agda/lib/stdlib/Data/Graph/Acyclic.agda
usr/share/agda/lib/stdlib/Data/Graph/Acyclic.agdai
usr/share/agda/lib/stdlib/Data/Integer/
usr/share/agda/lib/stdlib/Data/Integer.agda
usr/share/agda/lib/stdlib/Data/Integer.agdai
usr/share/agda/lib/stdlib/Data/Integer/Base.agda
usr/share/agda/lib/stdlib/Data/Integer/Base.agdai
usr/share/agda/lib/stdlib/Data/Integer/Coprimality.agda
usr/share/agda/lib/stdlib/Data/Integer/Coprimality.agdai
usr/share/agda/lib/stdlib/Data/Integer/DivMod.agda
usr/share/agda/lib/stdlib/Data/Integer/DivMod.agdai
usr/share/agda/lib/stdlib/Data/Integer/Divisibility/
usr/share/agda/lib/stdlib/Data/Integer/Divisibility.agda
usr/share/agda/lib/stdlib/Data/Integer/Divisibility.agdai
usr/share/agda/lib/stdlib/Data/Integer/Divisibility/Signed.agda
usr/share/agda/lib/stdlib/Data/Integer/Divisibility/Signed.agdai
usr/share/agda/lib/stdlib/Data/Integer/GCD.agda
usr/share/agda/lib/stdlib/Data/Integer/GCD.agdai
usr/share/agda/lib/stdlib/Data/Integer/Instances.agda
usr/share/agda/lib/stdlib/Data/Integer/Instances.agdai
usr/share/agda/lib/stdlib/Data/Integer/LCM.agda
usr/share/agda/lib/stdlib/Data/Integer/LCM.agdai
usr/share/agda/lib/stdlib/Data/Integer/Literals.agda
usr/share/agda/lib/stdlib/Data/Integer/Literals.agdai
usr/share/agda/lib/stdlib/Data/Integer/Properties/
usr/share/agda/lib/stdlib/Data/Integer/Properties.agda
usr/share/agda/lib/stdlib/Data/Integer/Properties.agdai
usr/share/agda/lib/stdlib/Data/Integer/Properties/NatLemmas.agda
usr/share/agda/lib/stdlib/Data/Integer/Properties/NatLemmas.agdai
usr/share/agda/lib/stdlib/Data/Integer/Show.agda
usr/share/agda/lib/stdlib/Data/Integer/Show.agdai
usr/share/agda/lib/stdlib/Data/Integer/Solver.agda
usr/share/agda/lib/stdlib/Data/Integer/Solver.agdai
usr/share/agda/lib/stdlib/Data/Integer/Tactic/
usr/share/agda/lib/stdlib/Data/Integer/Tactic/RingSolver.agda
usr/share/agda/lib/stdlib/Data/Integer/Tactic/RingSolver.agdai
usr/share/agda/lib/stdlib/Data/Irrelevant.agda
usr/share/agda/lib/stdlib/Data/Irrelevant.agdai
usr/share/agda/lib/stdlib/Data/List/
usr/share/agda/lib/stdlib/Data/List.agda
usr/share/agda/lib/stdlib/Data/List.agdai
usr/share/agda/lib/stdlib/Data/List/Base.agda
usr/share/agda/lib/stdlib/Data/List/Base.agdai
usr/share/agda/lib/stdlib/Data/List/Categorical/
usr/share/agda/lib/stdlib/Data/List/Categorical.agda
usr/share/agda/lib/stdlib/Data/List/Categorical/Transformer.agda
usr/share/agda/lib/stdlib/Data/List/Countdown.agda
usr/share/agda/lib/stdlib/Data/List/Countdown.agdai
usr/share/agda/lib/stdlib/Data/List/Effectful/
usr/share/agda/lib/stdlib/Data/List/Effectful.agda
usr/share/agda/lib/stdlib/Data/List/Effectful.agdai
usr/share/agda/lib/stdlib/Data/List/Effectful/Transformer.agda
usr/share/agda/lib/stdlib/Data/List/Effectful/Transformer.agdai
usr/share/agda/lib/stdlib/Data/List/Extrema/
usr/share/agda/lib/stdlib/Data/List/Extrema.agda
usr/share/agda/lib/stdlib/Data/List/Extrema.agdai
usr/share/agda/lib/stdlib/Data/List/Extrema/Core.agda
usr/share/agda/lib/stdlib/Data/List/Extrema/Core.agdai
usr/share/agda/lib/stdlib/Data/List/Extrema/Nat.agda
usr/share/agda/lib/stdlib/Data/List/Extrema/Nat.agdai
usr/share/agda/lib/stdlib/Data/List/Fresh/
usr/share/agda/lib/stdlib/Data/List/Fresh.agda
usr/share/agda/lib/stdlib/Data/List/Fresh.agdai
usr/share/agda/lib/stdlib/Data/List/Fresh/Membership/
usr/share/agda/lib/stdlib/Data/List/Fresh/Membership/Setoid/
usr/share/agda/lib/stdlib/Data/List/Fresh/Membership/Setoid.agda
usr/share/agda/lib/stdlib/Data/List/Fresh/Membership/Setoid.agdai
usr/share/agda/lib/stdlib/Data/List/Fresh/Membership/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Fresh/Membership/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Fresh/NonEmpty.agda
usr/share/agda/lib/stdlib/Data/List/Fresh/NonEmpty.agdai
usr/share/agda/lib/stdlib/Data/List/Fresh/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Fresh/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/Unary/
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/Unary/All/
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/Unary/All/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/Unary/All/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/Unary/Any/
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/Unary/Any.agda
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/Unary/Any.agdai
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/Unary/Any/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Fresh/Relation/Unary/Any/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Instances.agda
usr/share/agda/lib/stdlib/Data/List/Instances.agdai
usr/share/agda/lib/stdlib/Data/List/Kleene/
usr/share/agda/lib/stdlib/Data/List/Kleene.agda
usr/share/agda/lib/stdlib/Data/List/Kleene.agdai
usr/share/agda/lib/stdlib/Data/List/Kleene/AsList.agda
usr/share/agda/lib/stdlib/Data/List/Kleene/AsList.agdai
usr/share/agda/lib/stdlib/Data/List/Kleene/Base.agda
usr/share/agda/lib/stdlib/Data/List/Kleene/Base.agdai
usr/share/agda/lib/stdlib/Data/List/Literals.agda
usr/share/agda/lib/stdlib/Data/List/Literals.agdai
usr/share/agda/lib/stdlib/Data/List/Membership/
usr/share/agda/lib/stdlib/Data/List/Membership/DecPropositional.agda
usr/share/agda/lib/stdlib/Data/List/Membership/DecPropositional.agdai
usr/share/agda/lib/stdlib/Data/List/Membership/DecSetoid.agda
usr/share/agda/lib/stdlib/Data/List/Membership/DecSetoid.agdai
usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/
usr/share/agda/lib/stdlib/Data/List/Membership/Propositional.agda
usr/share/agda/lib/stdlib/Data/List/Membership/Propositional.agdai
usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties/
usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties/Core.agda
usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties/Core.agdai
usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties/WithK.agda
usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties/WithK.agdai
usr/share/agda/lib/stdlib/Data/List/Membership/Setoid/
usr/share/agda/lib/stdlib/Data/List/Membership/Setoid.agda
usr/share/agda/lib/stdlib/Data/List/Membership/Setoid.agdai
usr/share/agda/lib/stdlib/Data/List/Membership/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Membership/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Nary/
usr/share/agda/lib/stdlib/Data/List/Nary/NonDependent.agda
usr/share/agda/lib/stdlib/Data/List/Nary/NonDependent.agdai
usr/share/agda/lib/stdlib/Data/List/NonEmpty/
usr/share/agda/lib/stdlib/Data/List/NonEmpty.agda
usr/share/agda/lib/stdlib/Data/List/NonEmpty.agdai
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Base.agda
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Base.agdai
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Categorical/
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Categorical.agda
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Categorical/Transformer.agda
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Effectful/
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Effectful.agda
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Effectful.agdai
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Effectful/Transformer.agda
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Effectful/Transformer.agdai
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Instances.agda
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Instances.agdai
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Properties.agda
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Relation/
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Relation/Unary/
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/List/NonEmpty/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/List/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Reflection.agda
usr/share/agda/lib/stdlib/Data/List/Reflection.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/BagAndSetEquality.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/BagAndSetEquality.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/DecPropositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/DecPropositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/DecSetoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/DecSetoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Propositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Propositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Setoid/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Setoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Setoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/DecPropositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/DecPropositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/DecSetoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/DecSetoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/Propositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/Propositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/Setoid/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/Setoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/Setoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Infix/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Infix/Heterogeneous/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Infix/Heterogeneous.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Infix/Heterogeneous.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Infix/Heterogeneous/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Infix/Heterogeneous/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Infix/Homogeneous/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Infix/Homogeneous/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Infix/Homogeneous/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/Core.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/Core.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/NonStrict.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/NonStrict.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/Strict.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/Strict.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Homogeneous.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Homogeneous.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Propositional/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Propositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Propositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Propositional/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid/Properties/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid/Properties/Maybe.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid/Properties/Maybe.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Pointwise/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Pointwise.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Pointwise.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Pointwise/Base.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Pointwise/Base.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Pointwise/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Pointwise/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Heterogeneous/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Heterogeneous.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Heterogeneous.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Homogeneous/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Homogeneous/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Homogeneous/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecPropositional/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecPropositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecPropositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecSetoid/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecSetoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecSetoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/Disjoint.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/Example/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/Example/UniqueBoundVariables.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/Example/UniqueBoundVariables.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/Slice.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/Slice.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Setoid/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Setoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Setoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/DecPropositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/DecPropositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/DecSetoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/DecSetoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Propositional/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Propositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Propositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Propositional/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Propositional/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Setoid/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Setoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Setoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Heterogeneous/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Heterogeneous.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Heterogeneous.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Homogeneous/
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Homogeneous/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Homogeneous/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Propositional/
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Propositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Propositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Propositional/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Propositional/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Setoid/
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Setoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Setoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Appending/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Propositional/
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Propositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Propositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Setoid/
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Setoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Setoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/All/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/All/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/All/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs/Core.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs/Core.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Any/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Any.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Any.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Any/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Any/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Enumerates/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Enumerates/Setoid/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Enumerates/Setoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Enumerates/Setoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Enumerates/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Enumerates/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/First/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/First.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/First.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/First/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/First/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Grouped/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Grouped.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Grouped.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Grouped/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Grouped/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Linked/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Linked.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Linked.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Linked/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Linked/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Sorted/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Sorted/TotalOrder/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Sorted/TotalOrder.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Sorted/TotalOrder.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Sufficient.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Sufficient.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/DecPropositional/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/DecPropositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/DecPropositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/DecPropositional/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/DecPropositional/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/DecSetoid/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/DecSetoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/DecSetoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/DecSetoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/DecSetoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Propositional/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Propositional.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Propositional.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Propositional/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Propositional/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Setoid/
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Setoid.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Setoid.agdai
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Reverse.agda
usr/share/agda/lib/stdlib/Data/List/Reverse.agdai
usr/share/agda/lib/stdlib/Data/List/Scans/
usr/share/agda/lib/stdlib/Data/List/Scans/Base.agda
usr/share/agda/lib/stdlib/Data/List/Scans/Base.agdai
usr/share/agda/lib/stdlib/Data/List/Scans/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Scans/Properties.agdai
usr/share/agda/lib/stdlib/Data/List/Show.agda
usr/share/agda/lib/stdlib/Data/List/Show.agdai
usr/share/agda/lib/stdlib/Data/List/Solver.agda
usr/share/agda/lib/stdlib/Data/List/Sort/
usr/share/agda/lib/stdlib/Data/List/Sort.agda
usr/share/agda/lib/stdlib/Data/List/Sort.agdai
usr/share/agda/lib/stdlib/Data/List/Sort/Base.agda
usr/share/agda/lib/stdlib/Data/List/Sort/Base.agdai
usr/share/agda/lib/stdlib/Data/List/Sort/MergeSort.agda
usr/share/agda/lib/stdlib/Data/List/Sort/MergeSort.agdai
usr/share/agda/lib/stdlib/Data/List/Zipper/
usr/share/agda/lib/stdlib/Data/List/Zipper.agda
usr/share/agda/lib/stdlib/Data/List/Zipper.agdai
usr/share/agda/lib/stdlib/Data/List/Zipper/Properties.agda
usr/share/agda/lib/stdlib/Data/List/Zipper/Properties.agdai
usr/share/agda/lib/stdlib/Data/Maybe/
usr/share/agda/lib/stdlib/Data/Maybe.agda
usr/share/agda/lib/stdlib/Data/Maybe.agdai
usr/share/agda/lib/stdlib/Data/Maybe/Base.agda
usr/share/agda/lib/stdlib/Data/Maybe/Base.agdai
usr/share/agda/lib/stdlib/Data/Maybe/Categorical/
usr/share/agda/lib/stdlib/Data/Maybe/Categorical.agda
usr/share/agda/lib/stdlib/Data/Maybe/Categorical/Transformer.agda
usr/share/agda/lib/stdlib/Data/Maybe/Effectful/
usr/share/agda/lib/stdlib/Data/Maybe/Effectful.agda
usr/share/agda/lib/stdlib/Data/Maybe/Effectful.agdai
usr/share/agda/lib/stdlib/Data/Maybe/Effectful/Transformer.agda
usr/share/agda/lib/stdlib/Data/Maybe/Effectful/Transformer.agdai
usr/share/agda/lib/stdlib/Data/Maybe/Instances.agda
usr/share/agda/lib/stdlib/Data/Maybe/Instances.agdai
usr/share/agda/lib/stdlib/Data/Maybe/Properties.agda
usr/share/agda/lib/stdlib/Data/Maybe/Properties.agdai
usr/share/agda/lib/stdlib/Data/Maybe/Relation/
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Binary/
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Binary/Connected.agda
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Binary/Connected.agdai
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Binary/Pointwise.agda
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Binary/Pointwise.agdai
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/All/
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/All/Properties.agda
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/All/Properties.agdai
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/Any.agda
usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/Any.agdai
usr/share/agda/lib/stdlib/Data/Nat/
usr/share/agda/lib/stdlib/Data/Nat.agda
usr/share/agda/lib/stdlib/Data/Nat.agdai
usr/share/agda/lib/stdlib/Data/Nat/Base.agda
usr/share/agda/lib/stdlib/Data/Nat/Base.agdai
usr/share/agda/lib/stdlib/Data/Nat/Binary/
usr/share/agda/lib/stdlib/Data/Nat/Binary.agda
usr/share/agda/lib/stdlib/Data/Nat/Binary.agdai
usr/share/agda/lib/stdlib/Data/Nat/Binary/Base.agda
usr/share/agda/lib/stdlib/Data/Nat/Binary/Base.agdai
usr/share/agda/lib/stdlib/Data/Nat/Binary/Induction.agda
usr/share/agda/lib/stdlib/Data/Nat/Binary/Induction.agdai
usr/share/agda/lib/stdlib/Data/Nat/Binary/Instances.agda
usr/share/agda/lib/stdlib/Data/Nat/Binary/Instances.agdai
usr/share/agda/lib/stdlib/Data/Nat/Binary/Properties.agda
usr/share/agda/lib/stdlib/Data/Nat/Binary/Properties.agdai
usr/share/agda/lib/stdlib/Data/Nat/Binary/Subtraction.agda
usr/share/agda/lib/stdlib/Data/Nat/Binary/Subtraction.agdai
usr/share/agda/lib/stdlib/Data/Nat/Combinatorics/
usr/share/agda/lib/stdlib/Data/Nat/Combinatorics.agda
usr/share/agda/lib/stdlib/Data/Nat/Combinatorics.agdai
usr/share/agda/lib/stdlib/Data/Nat/Combinatorics/Base.agda
usr/share/agda/lib/stdlib/Data/Nat/Combinatorics/Base.agdai
usr/share/agda/lib/stdlib/Data/Nat/Combinatorics/Specification.agda
usr/share/agda/lib/stdlib/Data/Nat/Combinatorics/Specification.agdai
usr/share/agda/lib/stdlib/Data/Nat/Coprimality.agda
usr/share/agda/lib/stdlib/Data/Nat/Coprimality.agdai
usr/share/agda/lib/stdlib/Data/Nat/DivMod/
usr/share/agda/lib/stdlib/Data/Nat/DivMod.agda
usr/share/agda/lib/stdlib/Data/Nat/DivMod.agdai
usr/share/agda/lib/stdlib/Data/Nat/DivMod/Core.agda
usr/share/agda/lib/stdlib/Data/Nat/DivMod/Core.agdai
usr/share/agda/lib/stdlib/Data/Nat/DivMod/WithK.agda
usr/share/agda/lib/stdlib/Data/Nat/DivMod/WithK.agdai
usr/share/agda/lib/stdlib/Data/Nat/Divisibility/
usr/share/agda/lib/stdlib/Data/Nat/Divisibility.agda
usr/share/agda/lib/stdlib/Data/Nat/Divisibility.agdai
usr/share/agda/lib/stdlib/Data/Nat/Divisibility/Core.agda
usr/share/agda/lib/stdlib/Data/Nat/Divisibility/Core.agdai
usr/share/agda/lib/stdlib/Data/Nat/GCD/
usr/share/agda/lib/stdlib/Data/Nat/GCD.agda
usr/share/agda/lib/stdlib/Data/Nat/GCD.agdai
usr/share/agda/lib/stdlib/Data/Nat/GCD/Lemmas.agda
usr/share/agda/lib/stdlib/Data/Nat/GCD/Lemmas.agdai
usr/share/agda/lib/stdlib/Data/Nat/GeneralisedArithmetic.agda
usr/share/agda/lib/stdlib/Data/Nat/GeneralisedArithmetic.agdai
usr/share/agda/lib/stdlib/Data/Nat/Induction.agda
usr/share/agda/lib/stdlib/Data/Nat/Induction.agdai
usr/share/agda/lib/stdlib/Data/Nat/InfinitelyOften.agda
usr/share/agda/lib/stdlib/Data/Nat/InfinitelyOften.agdai
usr/share/agda/lib/stdlib/Data/Nat/Instances.agda
usr/share/agda/lib/stdlib/Data/Nat/Instances.agdai
usr/share/agda/lib/stdlib/Data/Nat/LCM.agda
usr/share/agda/lib/stdlib/Data/Nat/LCM.agdai
usr/share/agda/lib/stdlib/Data/Nat/Literals.agda
usr/share/agda/lib/stdlib/Data/Nat/Literals.agdai
usr/share/agda/lib/stdlib/Data/Nat/Logarithm/
usr/share/agda/lib/stdlib/Data/Nat/Logarithm.agda
usr/share/agda/lib/stdlib/Data/Nat/Logarithm.agdai
usr/share/agda/lib/stdlib/Data/Nat/Logarithm/Core.agda
usr/share/agda/lib/stdlib/Data/Nat/Logarithm/Core.agdai
usr/share/agda/lib/stdlib/Data/Nat/Primality/
usr/share/agda/lib/stdlib/Data/Nat/Primality.agda
usr/share/agda/lib/stdlib/Data/Nat/Primality.agdai
usr/share/agda/lib/stdlib/Data/Nat/Primality/Factorisation.agda
usr/share/agda/lib/stdlib/Data/Nat/Primality/Factorisation.agdai
usr/share/agda/lib/stdlib/Data/Nat/Properties/
usr/share/agda/lib/stdlib/Data/Nat/Properties.agda
usr/share/agda/lib/stdlib/Data/Nat/Properties.agdai
usr/share/agda/lib/stdlib/Data/Nat/Properties/Core.agda
usr/share/agda/lib/stdlib/Data/Nat/PseudoRandom/
usr/share/agda/lib/stdlib/Data/Nat/PseudoRandom/LCG/
usr/share/agda/lib/stdlib/Data/Nat/PseudoRandom/LCG.agda
usr/share/agda/lib/stdlib/Data/Nat/PseudoRandom/LCG.agdai
usr/share/agda/lib/stdlib/Data/Nat/PseudoRandom/LCG/Unsafe.agda
usr/share/agda/lib/stdlib/Data/Nat/PseudoRandom/LCG/Unsafe.agdai
usr/share/agda/lib/stdlib/Data/Nat/Reflection.agda
usr/share/agda/lib/stdlib/Data/Nat/Reflection.agdai
usr/share/agda/lib/stdlib/Data/Nat/Show/
usr/share/agda/lib/stdlib/Data/Nat/Show.agda
usr/share/agda/lib/stdlib/Data/Nat/Show.agdai
usr/share/agda/lib/stdlib/Data/Nat/Show/Properties.agda
usr/share/agda/lib/stdlib/Data/Nat/Show/Properties.agdai
usr/share/agda/lib/stdlib/Data/Nat/Solver.agda
usr/share/agda/lib/stdlib/Data/Nat/Solver.agdai
usr/share/agda/lib/stdlib/Data/Nat/Tactic/
usr/share/agda/lib/stdlib/Data/Nat/Tactic/RingSolver.agda
usr/share/agda/lib/stdlib/Data/Nat/Tactic/RingSolver.agdai
usr/share/agda/lib/stdlib/Data/Nat/WithK.agda
usr/share/agda/lib/stdlib/Data/Nat/WithK.agdai
usr/share/agda/lib/stdlib/Data/Parity/
usr/share/agda/lib/stdlib/Data/Parity.agda
usr/share/agda/lib/stdlib/Data/Parity.agdai
usr/share/agda/lib/stdlib/Data/Parity/Base.agda
usr/share/agda/lib/stdlib/Data/Parity/Base.agdai
usr/share/agda/lib/stdlib/Data/Parity/Instances.agda
usr/share/agda/lib/stdlib/Data/Parity/Instances.agdai
usr/share/agda/lib/stdlib/Data/Parity/Properties.agda
usr/share/agda/lib/stdlib/Data/Parity/Properties.agdai
usr/share/agda/lib/stdlib/Data/Product/
usr/share/agda/lib/stdlib/Data/Product.agda
usr/share/agda/lib/stdlib/Data/Product.agdai
usr/share/agda/lib/stdlib/Data/Product/Algebra.agda
usr/share/agda/lib/stdlib/Data/Product/Algebra.agdai
usr/share/agda/lib/stdlib/Data/Product/Base.agda
usr/share/agda/lib/stdlib/Data/Product/Base.agdai
usr/share/agda/lib/stdlib/Data/Product/Categorical/
usr/share/agda/lib/stdlib/Data/Product/Categorical/Examples.agda
usr/share/agda/lib/stdlib/Data/Product/Categorical/Left/
usr/share/agda/lib/stdlib/Data/Product/Categorical/Left.agda
usr/share/agda/lib/stdlib/Data/Product/Categorical/Left/Base.agda
usr/share/agda/lib/stdlib/Data/Product/Categorical/Right/
usr/share/agda/lib/stdlib/Data/Product/Categorical/Right.agda
usr/share/agda/lib/stdlib/Data/Product/Categorical/Right/Base.agda
usr/share/agda/lib/stdlib/Data/Product/Effectful/
usr/share/agda/lib/stdlib/Data/Product/Effectful/Examples.agda
usr/share/agda/lib/stdlib/Data/Product/Effectful/Examples.agdai
usr/share/agda/lib/stdlib/Data/Product/Effectful/Left/
usr/share/agda/lib/stdlib/Data/Product/Effectful/Left.agda
usr/share/agda/lib/stdlib/Data/Product/Effectful/Left.agdai
usr/share/agda/lib/stdlib/Data/Product/Effectful/Left/Base.agda
usr/share/agda/lib/stdlib/Data/Product/Effectful/Left/Base.agdai
usr/share/agda/lib/stdlib/Data/Product/Effectful/Right/
usr/share/agda/lib/stdlib/Data/Product/Effectful/Right.agda
usr/share/agda/lib/stdlib/Data/Product/Effectful/Right.agdai
usr/share/agda/lib/stdlib/Data/Product/Effectful/Right/Base.agda
usr/share/agda/lib/stdlib/Data/Product/Effectful/Right/Base.agdai
usr/share/agda/lib/stdlib/Data/Product/Function/
usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/
usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Propositional/
usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Propositional.agda
usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Propositional.agdai
usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Propositional/WithK.agda
usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Propositional/WithK.agdai
usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Setoid/
usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Setoid.agda
usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Setoid.agdai
usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Setoid/WithK.agda
usr/share/agda/lib/stdlib/Data/Product/Function/NonDependent/
usr/share/agda/lib/stdlib/Data/Product/Function/NonDependent/Propositional.agda
usr/share/agda/lib/stdlib/Data/Product/Function/NonDependent/Propositional.agdai
usr/share/agda/lib/stdlib/Data/Product/Function/NonDependent/Setoid.agda
usr/share/agda/lib/stdlib/Data/Product/Function/NonDependent/Setoid.agdai
usr/share/agda/lib/stdlib/Data/Product/Instances.agda
usr/share/agda/lib/stdlib/Data/Product/Instances.agdai
usr/share/agda/lib/stdlib/Data/Product/Nary/
usr/share/agda/lib/stdlib/Data/Product/Nary/NonDependent.agda
usr/share/agda/lib/stdlib/Data/Product/Nary/NonDependent.agdai
usr/share/agda/lib/stdlib/Data/Product/Properties/
usr/share/agda/lib/stdlib/Data/Product/Properties.agda
usr/share/agda/lib/stdlib/Data/Product/Properties.agdai
usr/share/agda/lib/stdlib/Data/Product/Properties/Dependent.agda
usr/share/agda/lib/stdlib/Data/Product/Properties/Dependent.agdai
usr/share/agda/lib/stdlib/Data/Product/Properties/WithK.agda
usr/share/agda/lib/stdlib/Data/Product/Properties/WithK.agdai
usr/share/agda/lib/stdlib/Data/Product/Relation/
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Lex/
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Lex/NonStrict.agda
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Lex/NonStrict.agdai
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Lex/Strict.agda
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Lex/Strict.agdai
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/Dependent/
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/Dependent.agda
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/Dependent.agdai
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agda
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agdai
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/NonDependent.agda
usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/NonDependent.agdai
usr/share/agda/lib/stdlib/Data/Product/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Product/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/Product/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/Rational/
usr/share/agda/lib/stdlib/Data/Rational.agda
usr/share/agda/lib/stdlib/Data/Rational.agdai
usr/share/agda/lib/stdlib/Data/Rational/Base.agda
usr/share/agda/lib/stdlib/Data/Rational/Base.agdai
usr/share/agda/lib/stdlib/Data/Rational/Instances.agda
usr/share/agda/lib/stdlib/Data/Rational/Instances.agdai
usr/share/agda/lib/stdlib/Data/Rational/Literals.agda
usr/share/agda/lib/stdlib/Data/Rational/Literals.agdai
usr/share/agda/lib/stdlib/Data/Rational/Properties.agda
usr/share/agda/lib/stdlib/Data/Rational/Properties.agdai
usr/share/agda/lib/stdlib/Data/Rational/Show.agda
usr/share/agda/lib/stdlib/Data/Rational/Show.agdai
usr/share/agda/lib/stdlib/Data/Rational/Solver.agda
usr/share/agda/lib/stdlib/Data/Rational/Solver.agdai
usr/share/agda/lib/stdlib/Data/Rational/Unnormalised/
usr/share/agda/lib/stdlib/Data/Rational/Unnormalised.agda
usr/share/agda/lib/stdlib/Data/Rational/Unnormalised.agdai
usr/share/agda/lib/stdlib/Data/Rational/Unnormalised/Base.agda
usr/share/agda/lib/stdlib/Data/Rational/Unnormalised/Base.agdai
usr/share/agda/lib/stdlib/Data/Rational/Unnormalised/Properties.agda
usr/share/agda/lib/stdlib/Data/Rational/Unnormalised/Properties.agdai
usr/share/agda/lib/stdlib/Data/Rational/Unnormalised/Show.agda
usr/share/agda/lib/stdlib/Data/Rational/Unnormalised/Show.agdai
usr/share/agda/lib/stdlib/Data/Rational/Unnormalised/Solver.agda
usr/share/agda/lib/stdlib/Data/Rational/Unnormalised/Solver.agdai
usr/share/agda/lib/stdlib/Data/Record.agda
usr/share/agda/lib/stdlib/Data/Record.agdai
usr/share/agda/lib/stdlib/Data/Refinement/
usr/share/agda/lib/stdlib/Data/Refinement.agda
usr/share/agda/lib/stdlib/Data/Refinement.agdai
usr/share/agda/lib/stdlib/Data/Refinement/Relation/
usr/share/agda/lib/stdlib/Data/Refinement/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Refinement/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/Refinement/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/Sign/
usr/share/agda/lib/stdlib/Data/Sign.agda
usr/share/agda/lib/stdlib/Data/Sign.agdai
usr/share/agda/lib/stdlib/Data/Sign/Base.agda
usr/share/agda/lib/stdlib/Data/Sign/Base.agdai
usr/share/agda/lib/stdlib/Data/Sign/Instances.agda
usr/share/agda/lib/stdlib/Data/Sign/Instances.agdai
usr/share/agda/lib/stdlib/Data/Sign/Properties.agda
usr/share/agda/lib/stdlib/Data/Sign/Properties.agdai
usr/share/agda/lib/stdlib/Data/Star/
usr/share/agda/lib/stdlib/Data/Star/BoundedVec.agda
usr/share/agda/lib/stdlib/Data/Star/BoundedVec.agdai
usr/share/agda/lib/stdlib/Data/Star/Decoration.agda
usr/share/agda/lib/stdlib/Data/Star/Decoration.agdai
usr/share/agda/lib/stdlib/Data/Star/Environment.agda
usr/share/agda/lib/stdlib/Data/Star/Environment.agdai
usr/share/agda/lib/stdlib/Data/Star/Fin.agda
usr/share/agda/lib/stdlib/Data/Star/Fin.agdai
usr/share/agda/lib/stdlib/Data/Star/List.agda
usr/share/agda/lib/stdlib/Data/Star/List.agdai
usr/share/agda/lib/stdlib/Data/Star/Nat.agda
usr/share/agda/lib/stdlib/Data/Star/Nat.agdai
usr/share/agda/lib/stdlib/Data/Star/Pointer.agda
usr/share/agda/lib/stdlib/Data/Star/Pointer.agdai
usr/share/agda/lib/stdlib/Data/Star/Vec.agda
usr/share/agda/lib/stdlib/Data/Star/Vec.agdai
usr/share/agda/lib/stdlib/Data/String/
usr/share/agda/lib/stdlib/Data/String.agda
usr/share/agda/lib/stdlib/Data/String.agdai
usr/share/agda/lib/stdlib/Data/String/Base.agda
usr/share/agda/lib/stdlib/Data/String/Base.agdai
usr/share/agda/lib/stdlib/Data/String/Instances.agda
usr/share/agda/lib/stdlib/Data/String/Instances.agdai
usr/share/agda/lib/stdlib/Data/String/Literals.agda
usr/share/agda/lib/stdlib/Data/String/Literals.agdai
usr/share/agda/lib/stdlib/Data/String/Properties.agda
usr/share/agda/lib/stdlib/Data/String/Properties.agdai
usr/share/agda/lib/stdlib/Data/String/Unsafe.agda
usr/share/agda/lib/stdlib/Data/String/Unsafe.agdai
usr/share/agda/lib/stdlib/Data/Sum/
usr/share/agda/lib/stdlib/Data/Sum.agda
usr/share/agda/lib/stdlib/Data/Sum.agdai
usr/share/agda/lib/stdlib/Data/Sum/Algebra.agda
usr/share/agda/lib/stdlib/Data/Sum/Algebra.agdai
usr/share/agda/lib/stdlib/Data/Sum/Base.agda
usr/share/agda/lib/stdlib/Data/Sum/Base.agdai
usr/share/agda/lib/stdlib/Data/Sum/Categorical/
usr/share/agda/lib/stdlib/Data/Sum/Categorical/Examples.agda
usr/share/agda/lib/stdlib/Data/Sum/Categorical/Left/
usr/share/agda/lib/stdlib/Data/Sum/Categorical/Left.agda
usr/share/agda/lib/stdlib/Data/Sum/Categorical/Left/Transformer.agda
usr/share/agda/lib/stdlib/Data/Sum/Categorical/Right/
usr/share/agda/lib/stdlib/Data/Sum/Categorical/Right.agda
usr/share/agda/lib/stdlib/Data/Sum/Categorical/Right/Transformer.agda
usr/share/agda/lib/stdlib/Data/Sum/Effectful/
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Examples.agda
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Examples.agdai
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Left/
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Left.agda
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Left.agdai
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Left/Transformer.agda
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Left/Transformer.agdai
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Right/
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Right.agda
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Right.agdai
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Right/Transformer.agda
usr/share/agda/lib/stdlib/Data/Sum/Effectful/Right/Transformer.agdai
usr/share/agda/lib/stdlib/Data/Sum/Function/
usr/share/agda/lib/stdlib/Data/Sum/Function/Propositional.agda
usr/share/agda/lib/stdlib/Data/Sum/Function/Propositional.agdai
usr/share/agda/lib/stdlib/Data/Sum/Function/Setoid.agda
usr/share/agda/lib/stdlib/Data/Sum/Function/Setoid.agdai
usr/share/agda/lib/stdlib/Data/Sum/Instances.agda
usr/share/agda/lib/stdlib/Data/Sum/Instances.agdai
usr/share/agda/lib/stdlib/Data/Sum/Properties.agda
usr/share/agda/lib/stdlib/Data/Sum/Properties.agdai
usr/share/agda/lib/stdlib/Data/Sum/Relation/
usr/share/agda/lib/stdlib/Data/Sum/Relation/Binary/
usr/share/agda/lib/stdlib/Data/Sum/Relation/Binary/LeftOrder.agda
usr/share/agda/lib/stdlib/Data/Sum/Relation/Binary/LeftOrder.agdai
usr/share/agda/lib/stdlib/Data/Sum/Relation/Binary/Pointwise.agda
usr/share/agda/lib/stdlib/Data/Sum/Relation/Binary/Pointwise.agdai
usr/share/agda/lib/stdlib/Data/Sum/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Sum/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/Sum/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/These/
usr/share/agda/lib/stdlib/Data/These.agda
usr/share/agda/lib/stdlib/Data/These.agdai
usr/share/agda/lib/stdlib/Data/These/Base.agda
usr/share/agda/lib/stdlib/Data/These/Base.agdai
usr/share/agda/lib/stdlib/Data/These/Categorical/
usr/share/agda/lib/stdlib/Data/These/Categorical/Left/
usr/share/agda/lib/stdlib/Data/These/Categorical/Left.agda
usr/share/agda/lib/stdlib/Data/These/Categorical/Left/Base.agda
usr/share/agda/lib/stdlib/Data/These/Categorical/Right/
usr/share/agda/lib/stdlib/Data/These/Categorical/Right.agda
usr/share/agda/lib/stdlib/Data/These/Categorical/Right/Base.agda
usr/share/agda/lib/stdlib/Data/These/Effectful/
usr/share/agda/lib/stdlib/Data/These/Effectful/Left/
usr/share/agda/lib/stdlib/Data/These/Effectful/Left.agda
usr/share/agda/lib/stdlib/Data/These/Effectful/Left.agdai
usr/share/agda/lib/stdlib/Data/These/Effectful/Left/Base.agda
usr/share/agda/lib/stdlib/Data/These/Effectful/Left/Base.agdai
usr/share/agda/lib/stdlib/Data/These/Effectful/Right/
usr/share/agda/lib/stdlib/Data/These/Effectful/Right.agda
usr/share/agda/lib/stdlib/Data/These/Effectful/Right.agdai
usr/share/agda/lib/stdlib/Data/These/Effectful/Right/Base.agda
usr/share/agda/lib/stdlib/Data/These/Effectful/Right/Base.agdai
usr/share/agda/lib/stdlib/Data/These/Instances.agda
usr/share/agda/lib/stdlib/Data/These/Instances.agdai
usr/share/agda/lib/stdlib/Data/These/Properties.agda
usr/share/agda/lib/stdlib/Data/These/Properties.agdai
usr/share/agda/lib/stdlib/Data/Tree/
usr/share/agda/lib/stdlib/Data/Tree/AVL/
usr/share/agda/lib/stdlib/Data/Tree/AVL.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Height.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Height.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/Relation/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/Relation/Unary/Any/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/Relation/Unary/Any.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/Relation/Unary/Any.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/Relation/Unary/Any/Properties.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/Relation/Unary/Any/Properties.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/WithK.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Indexed/WithK.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/IndexedMap.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/IndexedMap.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Key.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Key.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map/Membership/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map/Membership/Propositional/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map/Membership/Propositional.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map/Membership/Propositional.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map/Membership/Propositional/Properties.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map/Membership/Propositional/Properties.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map/Relation/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map/Relation/Unary/Any.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Map/Relation/Unary/Any.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/NonEmpty/
usr/share/agda/lib/stdlib/Data/Tree/AVL/NonEmpty.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/NonEmpty.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/NonEmpty/Propositional.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/NonEmpty/Propositional.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Relation/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Relation/Unary/Any.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Relation/Unary/Any.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Sets/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Sets.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Sets.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Sets/Membership/
usr/share/agda/lib/stdlib/Data/Tree/AVL/Sets/Membership.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Sets/Membership.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Sets/Membership/Properties.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Sets/Membership/Properties.agdai
usr/share/agda/lib/stdlib/Data/Tree/AVL/Value.agda
usr/share/agda/lib/stdlib/Data/Tree/AVL/Value.agdai
usr/share/agda/lib/stdlib/Data/Tree/Binary/
usr/share/agda/lib/stdlib/Data/Tree/Binary.agda
usr/share/agda/lib/stdlib/Data/Tree/Binary.agdai
usr/share/agda/lib/stdlib/Data/Tree/Binary/Properties.agda
usr/share/agda/lib/stdlib/Data/Tree/Binary/Properties.agdai
usr/share/agda/lib/stdlib/Data/Tree/Binary/Relation/
usr/share/agda/lib/stdlib/Data/Tree/Binary/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Tree/Binary/Relation/Unary/All/
usr/share/agda/lib/stdlib/Data/Tree/Binary/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/Tree/Binary/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/Tree/Binary/Relation/Unary/All/Properties.agda
usr/share/agda/lib/stdlib/Data/Tree/Binary/Relation/Unary/All/Properties.agdai
usr/share/agda/lib/stdlib/Data/Tree/Binary/Show.agda
usr/share/agda/lib/stdlib/Data/Tree/Binary/Show.agdai
usr/share/agda/lib/stdlib/Data/Tree/Binary/Zipper/
usr/share/agda/lib/stdlib/Data/Tree/Binary/Zipper.agda
usr/share/agda/lib/stdlib/Data/Tree/Binary/Zipper.agdai
usr/share/agda/lib/stdlib/Data/Tree/Binary/Zipper/Properties.agda
usr/share/agda/lib/stdlib/Data/Tree/Binary/Zipper/Properties.agdai
usr/share/agda/lib/stdlib/Data/Tree/Rose/
usr/share/agda/lib/stdlib/Data/Tree/Rose.agda
usr/share/agda/lib/stdlib/Data/Tree/Rose.agdai
usr/share/agda/lib/stdlib/Data/Tree/Rose/Properties.agda
usr/share/agda/lib/stdlib/Data/Tree/Rose/Properties.agdai
usr/share/agda/lib/stdlib/Data/Tree/Rose/Show.agda
usr/share/agda/lib/stdlib/Data/Tree/Rose/Show.agdai
usr/share/agda/lib/stdlib/Data/Trie/
usr/share/agda/lib/stdlib/Data/Trie.agda
usr/share/agda/lib/stdlib/Data/Trie.agdai
usr/share/agda/lib/stdlib/Data/Trie/NonEmpty.agda
usr/share/agda/lib/stdlib/Data/Trie/NonEmpty.agdai
usr/share/agda/lib/stdlib/Data/Unit/
usr/share/agda/lib/stdlib/Data/Unit.agda
usr/share/agda/lib/stdlib/Data/Unit.agdai
usr/share/agda/lib/stdlib/Data/Unit/Base.agda
usr/share/agda/lib/stdlib/Data/Unit/Base.agdai
usr/share/agda/lib/stdlib/Data/Unit/Instances.agda
usr/share/agda/lib/stdlib/Data/Unit/Instances.agdai
usr/share/agda/lib/stdlib/Data/Unit/NonEta.agda
usr/share/agda/lib/stdlib/Data/Unit/NonEta.agdai
usr/share/agda/lib/stdlib/Data/Unit/Polymorphic/
usr/share/agda/lib/stdlib/Data/Unit/Polymorphic.agda
usr/share/agda/lib/stdlib/Data/Unit/Polymorphic.agdai
usr/share/agda/lib/stdlib/Data/Unit/Polymorphic/Base.agda
usr/share/agda/lib/stdlib/Data/Unit/Polymorphic/Base.agdai
usr/share/agda/lib/stdlib/Data/Unit/Polymorphic/Instances.agda
usr/share/agda/lib/stdlib/Data/Unit/Polymorphic/Instances.agdai
usr/share/agda/lib/stdlib/Data/Unit/Polymorphic/Properties.agda
usr/share/agda/lib/stdlib/Data/Unit/Polymorphic/Properties.agdai
usr/share/agda/lib/stdlib/Data/Unit/Properties.agda
usr/share/agda/lib/stdlib/Data/Unit/Properties.agdai
usr/share/agda/lib/stdlib/Data/Universe/
usr/share/agda/lib/stdlib/Data/Universe.agda
usr/share/agda/lib/stdlib/Data/Universe.agdai
usr/share/agda/lib/stdlib/Data/Universe/Indexed.agda
usr/share/agda/lib/stdlib/Data/Universe/Indexed.agdai
usr/share/agda/lib/stdlib/Data/Vec/
usr/share/agda/lib/stdlib/Data/Vec.agda
usr/share/agda/lib/stdlib/Data/Vec.agdai
usr/share/agda/lib/stdlib/Data/Vec/Base.agda
usr/share/agda/lib/stdlib/Data/Vec/Base.agdai
usr/share/agda/lib/stdlib/Data/Vec/Bounded/
usr/share/agda/lib/stdlib/Data/Vec/Bounded.agda
usr/share/agda/lib/stdlib/Data/Vec/Bounded.agdai
usr/share/agda/lib/stdlib/Data/Vec/Bounded/Base.agda
usr/share/agda/lib/stdlib/Data/Vec/Bounded/Base.agdai
usr/share/agda/lib/stdlib/Data/Vec/Bounded/Show.agda
usr/share/agda/lib/stdlib/Data/Vec/Bounded/Show.agdai
usr/share/agda/lib/stdlib/Data/Vec/Categorical/
usr/share/agda/lib/stdlib/Data/Vec/Categorical.agda
usr/share/agda/lib/stdlib/Data/Vec/Categorical/Transformer.agda
usr/share/agda/lib/stdlib/Data/Vec/Effectful/
usr/share/agda/lib/stdlib/Data/Vec/Effectful.agda
usr/share/agda/lib/stdlib/Data/Vec/Effectful.agdai
usr/share/agda/lib/stdlib/Data/Vec/Effectful/Transformer.agda
usr/share/agda/lib/stdlib/Data/Vec/Effectful/Transformer.agdai
usr/share/agda/lib/stdlib/Data/Vec/Functional/
usr/share/agda/lib/stdlib/Data/Vec/Functional.agda
usr/share/agda/lib/stdlib/Data/Vec/Functional.agdai
usr/share/agda/lib/stdlib/Data/Vec/Functional/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Functional/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Equality/
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Equality/Setoid.agda
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Equality/Setoid.agdai
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Permutation/
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Permutation.agda
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Permutation.agdai
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Permutation/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Permutation/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Pointwise/
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Pointwise.agda
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Pointwise.agdai
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Pointwise/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Binary/Pointwise/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Unary/All/
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Unary/All/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Unary/All/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Unary/Any.agda
usr/share/agda/lib/stdlib/Data/Vec/Functional/Relation/Unary/Any.agdai
usr/share/agda/lib/stdlib/Data/Vec/Instances.agda
usr/share/agda/lib/stdlib/Data/Vec/Instances.agdai
usr/share/agda/lib/stdlib/Data/Vec/Membership/
usr/share/agda/lib/stdlib/Data/Vec/Membership/DecPropositional.agda
usr/share/agda/lib/stdlib/Data/Vec/Membership/DecPropositional.agdai
usr/share/agda/lib/stdlib/Data/Vec/Membership/DecSetoid.agda
usr/share/agda/lib/stdlib/Data/Vec/Membership/DecSetoid.agdai
usr/share/agda/lib/stdlib/Data/Vec/Membership/Propositional/
usr/share/agda/lib/stdlib/Data/Vec/Membership/Propositional.agda
usr/share/agda/lib/stdlib/Data/Vec/Membership/Propositional.agdai
usr/share/agda/lib/stdlib/Data/Vec/Membership/Propositional/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Membership/Propositional/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Membership/Setoid.agda
usr/share/agda/lib/stdlib/Data/Vec/Membership/Setoid.agdai
usr/share/agda/lib/stdlib/Data/Vec/N-ary.agda
usr/share/agda/lib/stdlib/Data/Vec/N-ary.agdai
usr/share/agda/lib/stdlib/Data/Vec/Properties/
usr/share/agda/lib/stdlib/Data/Vec/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Properties/WithK.agda
usr/share/agda/lib/stdlib/Data/Vec/Properties/WithK.agdai
usr/share/agda/lib/stdlib/Data/Vec/Recursive/
usr/share/agda/lib/stdlib/Data/Vec/Recursive.agda
usr/share/agda/lib/stdlib/Data/Vec/Recursive.agdai
usr/share/agda/lib/stdlib/Data/Vec/Recursive/Categorical.agda
usr/share/agda/lib/stdlib/Data/Vec/Recursive/Effectful.agda
usr/share/agda/lib/stdlib/Data/Vec/Recursive/Effectful.agdai
usr/share/agda/lib/stdlib/Data/Vec/Recursive/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Recursive/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Reflection.agda
usr/share/agda/lib/stdlib/Data/Vec/Reflection.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Cast.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Cast.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/DecPropositional.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/DecPropositional.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/DecSetoid.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/DecSetoid.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Propositional/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Propositional.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Propositional.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Setoid.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Setoid.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Lex/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Lex/Core.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Lex/Core.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Lex/NonStrict.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Lex/NonStrict.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Lex/Strict.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Lex/Strict.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Pointwise/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Pointwise/Extensional.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Pointwise/Extensional.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Pointwise/Inductive.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Pointwise/Inductive.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/All/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/All.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/All.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/All/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/All/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/AllPairs/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/AllPairs.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/AllPairs.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/AllPairs/Core.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/AllPairs/Core.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/AllPairs/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/AllPairs/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Any/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Any.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Any.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Any/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Any/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Linked/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Linked.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Linked.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Linked/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Linked/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Unique/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Unique/Propositional/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Unique/Propositional.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Unique/Propositional.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Unique/Propositional/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Unique/Propositional/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Unique/Setoid/
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Unique/Setoid.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Unique/Setoid.agdai
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Unique/Setoid/Properties.agda
usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Unique/Setoid/Properties.agdai
usr/share/agda/lib/stdlib/Data/Vec/Show.agda
usr/share/agda/lib/stdlib/Data/Vec/Show.agdai
usr/share/agda/lib/stdlib/Data/W/
usr/share/agda/lib/stdlib/Data/W.agda
usr/share/agda/lib/stdlib/Data/W.agdai
usr/share/agda/lib/stdlib/Data/W/Indexed.agda
usr/share/agda/lib/stdlib/Data/W/Indexed.agdai
usr/share/agda/lib/stdlib/Data/W/Sized.agda
usr/share/agda/lib/stdlib/Data/W/Sized.agdai
usr/share/agda/lib/stdlib/Data/W/WithK.agda
usr/share/agda/lib/stdlib/Data/W/WithK.agdai
usr/share/agda/lib/stdlib/Data/Word/
usr/share/agda/lib/stdlib/Data/Word.agda
usr/share/agda/lib/stdlib/Data/Word/Base.agda
usr/share/agda/lib/stdlib/Data/Word/Instances.agda
usr/share/agda/lib/stdlib/Data/Word/Properties.agda
usr/share/agda/lib/stdlib/Data/Word64/
usr/share/agda/lib/stdlib/Data/Word64.agda
usr/share/agda/lib/stdlib/Data/Word64.agdai
usr/share/agda/lib/stdlib/Data/Word64/Base.agda
usr/share/agda/lib/stdlib/Data/Word64/Base.agdai
usr/share/agda/lib/stdlib/Data/Word64/Instances.agda
usr/share/agda/lib/stdlib/Data/Word64/Instances.agdai
usr/share/agda/lib/stdlib/Data/Word64/Literals.agda
usr/share/agda/lib/stdlib/Data/Word64/Literals.agdai
usr/share/agda/lib/stdlib/Data/Word64/Primitive.agda
usr/share/agda/lib/stdlib/Data/Word64/Primitive.agdai
usr/share/agda/lib/stdlib/Data/Word64/Properties.agda
usr/share/agda/lib/stdlib/Data/Word64/Properties.agdai
usr/share/agda/lib/stdlib/Data/Word64/Show.agda
usr/share/agda/lib/stdlib/Data/Word64/Show.agdai
usr/share/agda/lib/stdlib/Data/Word64/Unsafe.agda
usr/share/agda/lib/stdlib/Data/Word64/Unsafe.agdai
usr/share/agda/lib/stdlib/Data/Word8/
usr/share/agda/lib/stdlib/Data/Word8/Base.agda
usr/share/agda/lib/stdlib/Data/Word8/Base.agdai
usr/share/agda/lib/stdlib/Data/Word8/Literals.agda
usr/share/agda/lib/stdlib/Data/Word8/Literals.agdai
usr/share/agda/lib/stdlib/Data/Word8/Primitive.agda
usr/share/agda/lib/stdlib/Data/Word8/Primitive.agdai
usr/share/agda/lib/stdlib/Data/Word8/Show.agda
usr/share/agda/lib/stdlib/Data/Word8/Show.agdai
usr/share/agda/lib/stdlib/Data/Wrap.agda
usr/share/agda/lib/stdlib/Data/Wrap.agdai
usr/share/agda/lib/stdlib/Debug/
usr/share/agda/lib/stdlib/Debug/Trace.agda
usr/share/agda/lib/stdlib/Debug/Trace.agdai
usr/share/agda/lib/stdlib/Effect/
usr/share/agda/lib/stdlib/Effect/Applicative/
usr/share/agda/lib/stdlib/Effect/Applicative.agda
usr/share/agda/lib/stdlib/Effect/Applicative.agdai
usr/share/agda/lib/stdlib/Effect/Applicative/Indexed.agda
usr/share/agda/lib/stdlib/Effect/Applicative/Indexed.agdai
usr/share/agda/lib/stdlib/Effect/Applicative/Predicate.agda
usr/share/agda/lib/stdlib/Effect/Applicative/Predicate.agdai
usr/share/agda/lib/stdlib/Effect/Choice.agda
usr/share/agda/lib/stdlib/Effect/Choice.agdai
usr/share/agda/lib/stdlib/Effect/Comonad.agda
usr/share/agda/lib/stdlib/Effect/Comonad.agdai
usr/share/agda/lib/stdlib/Effect/Empty.agda
usr/share/agda/lib/stdlib/Effect/Empty.agdai
usr/share/agda/lib/stdlib/Effect/Functor/
usr/share/agda/lib/stdlib/Effect/Functor.agda
usr/share/agda/lib/stdlib/Effect/Functor.agdai
usr/share/agda/lib/stdlib/Effect/Functor/Predicate.agda
usr/share/agda/lib/stdlib/Effect/Functor/Predicate.agdai
usr/share/agda/lib/stdlib/Effect/Monad/
usr/share/agda/lib/stdlib/Effect/Monad.agda
usr/share/agda/lib/stdlib/Effect/Monad.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Continuation.agda
usr/share/agda/lib/stdlib/Effect/Monad/Continuation.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Error/
usr/share/agda/lib/stdlib/Effect/Monad/Error/Transformer.agda
usr/share/agda/lib/stdlib/Effect/Monad/Error/Transformer.agdai
usr/share/agda/lib/stdlib/Effect/Monad/IO/
usr/share/agda/lib/stdlib/Effect/Monad/IO.agda
usr/share/agda/lib/stdlib/Effect/Monad/IO.agdai
usr/share/agda/lib/stdlib/Effect/Monad/IO/Instances.agda
usr/share/agda/lib/stdlib/Effect/Monad/IO/Instances.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Identity/
usr/share/agda/lib/stdlib/Effect/Monad/Identity.agda
usr/share/agda/lib/stdlib/Effect/Monad/Identity.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Identity/Instances.agda
usr/share/agda/lib/stdlib/Effect/Monad/Identity/Instances.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Indexed.agda
usr/share/agda/lib/stdlib/Effect/Monad/Indexed.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Partiality/
usr/share/agda/lib/stdlib/Effect/Monad/Partiality.agda
usr/share/agda/lib/stdlib/Effect/Monad/Partiality.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Partiality/All.agda
usr/share/agda/lib/stdlib/Effect/Monad/Partiality/All.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Partiality/Instances.agda
usr/share/agda/lib/stdlib/Effect/Monad/Partiality/Instances.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Predicate.agda
usr/share/agda/lib/stdlib/Effect/Monad/Predicate.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Reader/
usr/share/agda/lib/stdlib/Effect/Monad/Reader.agda
usr/share/agda/lib/stdlib/Effect/Monad/Reader.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Reader/Indexed.agda
usr/share/agda/lib/stdlib/Effect/Monad/Reader/Indexed.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Reader/Instances.agda
usr/share/agda/lib/stdlib/Effect/Monad/Reader/Instances.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Reader/Transformer/
usr/share/agda/lib/stdlib/Effect/Monad/Reader/Transformer.agda
usr/share/agda/lib/stdlib/Effect/Monad/Reader/Transformer.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Reader/Transformer/Base.agda
usr/share/agda/lib/stdlib/Effect/Monad/Reader/Transformer/Base.agdai
usr/share/agda/lib/stdlib/Effect/Monad/State/
usr/share/agda/lib/stdlib/Effect/Monad/State.agda
usr/share/agda/lib/stdlib/Effect/Monad/State.agdai
usr/share/agda/lib/stdlib/Effect/Monad/State/Indexed.agda
usr/share/agda/lib/stdlib/Effect/Monad/State/Indexed.agdai
usr/share/agda/lib/stdlib/Effect/Monad/State/Instances.agda
usr/share/agda/lib/stdlib/Effect/Monad/State/Instances.agdai
usr/share/agda/lib/stdlib/Effect/Monad/State/Transformer/
usr/share/agda/lib/stdlib/Effect/Monad/State/Transformer.agda
usr/share/agda/lib/stdlib/Effect/Monad/State/Transformer.agdai
usr/share/agda/lib/stdlib/Effect/Monad/State/Transformer/Base.agda
usr/share/agda/lib/stdlib/Effect/Monad/State/Transformer/Base.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Writer/
usr/share/agda/lib/stdlib/Effect/Monad/Writer.agda
usr/share/agda/lib/stdlib/Effect/Monad/Writer.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Writer/Indexed.agda
usr/share/agda/lib/stdlib/Effect/Monad/Writer/Indexed.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Writer/Instances.agda
usr/share/agda/lib/stdlib/Effect/Monad/Writer/Instances.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Writer/Transformer/
usr/share/agda/lib/stdlib/Effect/Monad/Writer/Transformer.agda
usr/share/agda/lib/stdlib/Effect/Monad/Writer/Transformer.agdai
usr/share/agda/lib/stdlib/Effect/Monad/Writer/Transformer/Base.agda
usr/share/agda/lib/stdlib/Effect/Monad/Writer/Transformer/Base.agdai
usr/share/agda/lib/stdlib/Foreign/
usr/share/agda/lib/stdlib/Foreign/Haskell/
usr/share/agda/lib/stdlib/Foreign/Haskell.agda
usr/share/agda/lib/stdlib/Foreign/Haskell.agdai
usr/share/agda/lib/stdlib/Foreign/Haskell/Coerce.agda
usr/share/agda/lib/stdlib/Foreign/Haskell/Coerce.agdai
usr/share/agda/lib/stdlib/Foreign/Haskell/Either.agda
usr/share/agda/lib/stdlib/Foreign/Haskell/Either.agdai
usr/share/agda/lib/stdlib/Foreign/Haskell/List/
usr/share/agda/lib/stdlib/Foreign/Haskell/List/NonEmpty.agda
usr/share/agda/lib/stdlib/Foreign/Haskell/List/NonEmpty.agdai
usr/share/agda/lib/stdlib/Foreign/Haskell/Maybe.agda
usr/share/agda/lib/stdlib/Foreign/Haskell/Pair.agda
usr/share/agda/lib/stdlib/Foreign/Haskell/Pair.agdai
usr/share/agda/lib/stdlib/Function/
usr/share/agda/lib/stdlib/Function.agda
usr/share/agda/lib/stdlib/Function.agdai
usr/share/agda/lib/stdlib/Function/Base.agda
usr/share/agda/lib/stdlib/Function/Base.agdai
usr/share/agda/lib/stdlib/Function/Bijection.agda
usr/share/agda/lib/stdlib/Function/Bundles.agda
usr/share/agda/lib/stdlib/Function/Bundles.agdai
usr/share/agda/lib/stdlib/Function/Consequences/
usr/share/agda/lib/stdlib/Function/Consequences.agda
usr/share/agda/lib/stdlib/Function/Consequences.agdai
usr/share/agda/lib/stdlib/Function/Consequences/Propositional.agda
usr/share/agda/lib/stdlib/Function/Consequences/Propositional.agdai
usr/share/agda/lib/stdlib/Function/Consequences/Setoid.agda
usr/share/agda/lib/stdlib/Function/Consequences/Setoid.agdai
usr/share/agda/lib/stdlib/Function/Construct/
usr/share/agda/lib/stdlib/Function/Construct/Composition.agda
usr/share/agda/lib/stdlib/Function/Construct/Composition.agdai
usr/share/agda/lib/stdlib/Function/Construct/Constant.agda
usr/share/agda/lib/stdlib/Function/Construct/Constant.agdai
usr/share/agda/lib/stdlib/Function/Construct/Identity.agda
usr/share/agda/lib/stdlib/Function/Construct/Identity.agdai
usr/share/agda/lib/stdlib/Function/Construct/Symmetry.agda
usr/share/agda/lib/stdlib/Function/Construct/Symmetry.agdai
usr/share/agda/lib/stdlib/Function/Core.agda
usr/share/agda/lib/stdlib/Function/Core.agdai
usr/share/agda/lib/stdlib/Function/Definitions.agda
usr/share/agda/lib/stdlib/Function/Definitions.agdai
usr/share/agda/lib/stdlib/Function/Dependent/
usr/share/agda/lib/stdlib/Function/Dependent/Bundles.agda
usr/share/agda/lib/stdlib/Function/Dependent/Bundles.agdai
usr/share/agda/lib/stdlib/Function/Endo/
usr/share/agda/lib/stdlib/Function/Endo/Propositional.agda
usr/share/agda/lib/stdlib/Function/Endo/Propositional.agdai
usr/share/agda/lib/stdlib/Function/Endo/Setoid.agda
usr/share/agda/lib/stdlib/Function/Endo/Setoid.agdai
usr/share/agda/lib/stdlib/Function/Endomorphism/
usr/share/agda/lib/stdlib/Function/Endomorphism/Propositional.agda
usr/share/agda/lib/stdlib/Function/Endomorphism/Setoid.agda
usr/share/agda/lib/stdlib/Function/Equality.agda
usr/share/agda/lib/stdlib/Function/Equivalence.agda
usr/share/agda/lib/stdlib/Function/HalfAdjointEquivalence.agda
usr/share/agda/lib/stdlib/Function/Identity/
usr/share/agda/lib/stdlib/Function/Identity/Categorical.agda
usr/share/agda/lib/stdlib/Function/Identity/Effectful.agda
usr/share/agda/lib/stdlib/Function/Identity/Effectful.agdai
usr/share/agda/lib/stdlib/Function/Indexed/
usr/share/agda/lib/stdlib/Function/Indexed/Bundles.agda
usr/share/agda/lib/stdlib/Function/Indexed/Bundles.agdai
usr/share/agda/lib/stdlib/Function/Indexed/Relation/
usr/share/agda/lib/stdlib/Function/Indexed/Relation/Binary/
usr/share/agda/lib/stdlib/Function/Indexed/Relation/Binary/Equality.agda
usr/share/agda/lib/stdlib/Function/Indexed/Relation/Binary/Equality.agdai
usr/share/agda/lib/stdlib/Function/Injection.agda
usr/share/agda/lib/stdlib/Function/Inverse.agda
usr/share/agda/lib/stdlib/Function/LeftInverse.agda
usr/share/agda/lib/stdlib/Function/Metric/
usr/share/agda/lib/stdlib/Function/Metric.agda
usr/share/agda/lib/stdlib/Function/Metric.agdai
usr/share/agda/lib/stdlib/Function/Metric/Bundles.agda
usr/share/agda/lib/stdlib/Function/Metric/Bundles.agdai
usr/share/agda/lib/stdlib/Function/Metric/Core.agda
usr/share/agda/lib/stdlib/Function/Metric/Core.agdai
usr/share/agda/lib/stdlib/Function/Metric/Definitions.agda
usr/share/agda/lib/stdlib/Function/Metric/Definitions.agdai
usr/share/agda/lib/stdlib/Function/Metric/Nat/
usr/share/agda/lib/stdlib/Function/Metric/Nat.agda
usr/share/agda/lib/stdlib/Function/Metric/Nat.agdai
usr/share/agda/lib/stdlib/Function/Metric/Nat/Bundles.agda
usr/share/agda/lib/stdlib/Function/Metric/Nat/Bundles.agdai
usr/share/agda/lib/stdlib/Function/Metric/Nat/Core.agda
usr/share/agda/lib/stdlib/Function/Metric/Nat/Core.agdai
usr/share/agda/lib/stdlib/Function/Metric/Nat/Definitions.agda
usr/share/agda/lib/stdlib/Function/Metric/Nat/Definitions.agdai
usr/share/agda/lib/stdlib/Function/Metric/Nat/Structures.agda
usr/share/agda/lib/stdlib/Function/Metric/Nat/Structures.agdai
usr/share/agda/lib/stdlib/Function/Metric/Rational/
usr/share/agda/lib/stdlib/Function/Metric/Rational.agda
usr/share/agda/lib/stdlib/Function/Metric/Rational.agdai
usr/share/agda/lib/stdlib/Function/Metric/Rational/Bundles.agda
usr/share/agda/lib/stdlib/Function/Metric/Rational/Bundles.agdai
usr/share/agda/lib/stdlib/Function/Metric/Rational/Core.agda
usr/share/agda/lib/stdlib/Function/Metric/Rational/Core.agdai
usr/share/agda/lib/stdlib/Function/Metric/Rational/Definitions.agda
usr/share/agda/lib/stdlib/Function/Metric/Rational/Definitions.agdai
usr/share/agda/lib/stdlib/Function/Metric/Rational/Structures.agda
usr/share/agda/lib/stdlib/Function/Metric/Rational/Structures.agdai
usr/share/agda/lib/stdlib/Function/Metric/Structures.agda
usr/share/agda/lib/stdlib/Function/Metric/Structures.agdai
usr/share/agda/lib/stdlib/Function/Nary/
usr/share/agda/lib/stdlib/Function/Nary/NonDependent/
usr/share/agda/lib/stdlib/Function/Nary/NonDependent.agda
usr/share/agda/lib/stdlib/Function/Nary/NonDependent.agdai
usr/share/agda/lib/stdlib/Function/Nary/NonDependent/Base.agda
usr/share/agda/lib/stdlib/Function/Nary/NonDependent/Base.agdai
usr/share/agda/lib/stdlib/Function/Properties/
usr/share/agda/lib/stdlib/Function/Properties.agda
usr/share/agda/lib/stdlib/Function/Properties.agdai
usr/share/agda/lib/stdlib/Function/Properties/Bijection.agda
usr/share/agda/lib/stdlib/Function/Properties/Bijection.agdai
usr/share/agda/lib/stdlib/Function/Properties/Equivalence.agda
usr/share/agda/lib/stdlib/Function/Properties/Equivalence.agdai
usr/share/agda/lib/stdlib/Function/Properties/Injection.agda
usr/share/agda/lib/stdlib/Function/Properties/Injection.agdai
usr/share/agda/lib/stdlib/Function/Properties/Inverse/
usr/share/agda/lib/stdlib/Function/Properties/Inverse.agda
usr/share/agda/lib/stdlib/Function/Properties/Inverse.agdai
usr/share/agda/lib/stdlib/Function/Properties/Inverse/HalfAdjointEquivalence.agda
usr/share/agda/lib/stdlib/Function/Properties/Inverse/HalfAdjointEquivalence.agdai
usr/share/agda/lib/stdlib/Function/Properties/RightInverse.agda
usr/share/agda/lib/stdlib/Function/Properties/RightInverse.agdai
usr/share/agda/lib/stdlib/Function/Properties/Surjection.agda
usr/share/agda/lib/stdlib/Function/Properties/Surjection.agdai
usr/share/agda/lib/stdlib/Function/Reasoning.agda
usr/share/agda/lib/stdlib/Function/Reasoning.agdai
usr/share/agda/lib/stdlib/Function/Related/
usr/share/agda/lib/stdlib/Function/Related.agda
usr/share/agda/lib/stdlib/Function/Related/Propositional.agda
usr/share/agda/lib/stdlib/Function/Related/Propositional.agdai
usr/share/agda/lib/stdlib/Function/Related/TypeIsomorphisms/
usr/share/agda/lib/stdlib/Function/Related/TypeIsomorphisms.agda
usr/share/agda/lib/stdlib/Function/Related/TypeIsomorphisms.agdai
usr/share/agda/lib/stdlib/Function/Related/TypeIsomorphisms/Solver.agda
usr/share/agda/lib/stdlib/Function/Related/TypeIsomorphisms/Solver.agdai
usr/share/agda/lib/stdlib/Function/Relation/
usr/share/agda/lib/stdlib/Function/Relation/Binary/
usr/share/agda/lib/stdlib/Function/Relation/Binary/Setoid/
usr/share/agda/lib/stdlib/Function/Relation/Binary/Setoid/Equality.agda
usr/share/agda/lib/stdlib/Function/Relation/Binary/Setoid/Equality.agdai
usr/share/agda/lib/stdlib/Function/Strict.agda
usr/share/agda/lib/stdlib/Function/Strict.agdai
usr/share/agda/lib/stdlib/Function/Structures/
usr/share/agda/lib/stdlib/Function/Structures.agda
usr/share/agda/lib/stdlib/Function/Structures.agdai
usr/share/agda/lib/stdlib/Function/Structures/Biased.agda
usr/share/agda/lib/stdlib/Function/Structures/Biased.agdai
usr/share/agda/lib/stdlib/Function/Surjection.agda
usr/share/agda/lib/stdlib/IO/
usr/share/agda/lib/stdlib/IO.agda
usr/share/agda/lib/stdlib/IO.agdai
usr/share/agda/lib/stdlib/IO/Base.agda
usr/share/agda/lib/stdlib/IO/Base.agdai
usr/share/agda/lib/stdlib/IO/Categorical.agda
usr/share/agda/lib/stdlib/IO/Effectful.agda
usr/share/agda/lib/stdlib/IO/Effectful.agdai
usr/share/agda/lib/stdlib/IO/Finite.agda
usr/share/agda/lib/stdlib/IO/Finite.agdai
usr/share/agda/lib/stdlib/IO/Handle.agda
usr/share/agda/lib/stdlib/IO/Handle.agdai
usr/share/agda/lib/stdlib/IO/Infinite.agda
usr/share/agda/lib/stdlib/IO/Infinite.agdai
usr/share/agda/lib/stdlib/IO/Instances.agda
usr/share/agda/lib/stdlib/IO/Instances.agdai
usr/share/agda/lib/stdlib/IO/Primitive/
usr/share/agda/lib/stdlib/IO/Primitive.agda
usr/share/agda/lib/stdlib/IO/Primitive/Core.agda
usr/share/agda/lib/stdlib/IO/Primitive/Core.agdai
usr/share/agda/lib/stdlib/IO/Primitive/Finite.agda
usr/share/agda/lib/stdlib/IO/Primitive/Finite.agdai
usr/share/agda/lib/stdlib/IO/Primitive/Handle.agda
usr/share/agda/lib/stdlib/IO/Primitive/Handle.agdai
usr/share/agda/lib/stdlib/IO/Primitive/Infinite.agda
usr/share/agda/lib/stdlib/IO/Primitive/Infinite.agdai
usr/share/agda/lib/stdlib/Induction/
usr/share/agda/lib/stdlib/Induction.agda
usr/share/agda/lib/stdlib/Induction.agdai
usr/share/agda/lib/stdlib/Induction/InfiniteDescent.agda
usr/share/agda/lib/stdlib/Induction/InfiniteDescent.agdai
usr/share/agda/lib/stdlib/Induction/Lexicographic.agda
usr/share/agda/lib/stdlib/Induction/Lexicographic.agdai
usr/share/agda/lib/stdlib/Induction/WellFounded.agda
usr/share/agda/lib/stdlib/Induction/WellFounded.agdai
usr/share/agda/lib/stdlib/Level/
usr/share/agda/lib/stdlib/Level.agda
usr/share/agda/lib/stdlib/Level.agdai
usr/share/agda/lib/stdlib/Level/Literals.agda
usr/share/agda/lib/stdlib/Level/Literals.agdai
usr/share/agda/lib/stdlib/Reflection/
usr/share/agda/lib/stdlib/Reflection.agda
usr/share/agda/lib/stdlib/Reflection.agdai
usr/share/agda/lib/stdlib/Reflection/AST/
usr/share/agda/lib/stdlib/Reflection/AST.agda
usr/share/agda/lib/stdlib/Reflection/AST.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Abstraction.agda
usr/share/agda/lib/stdlib/Reflection/AST/Abstraction.agdai
usr/share/agda/lib/stdlib/Reflection/AST/AlphaEquality.agda
usr/share/agda/lib/stdlib/Reflection/AST/AlphaEquality.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Argument/
usr/share/agda/lib/stdlib/Reflection/AST/Argument.agda
usr/share/agda/lib/stdlib/Reflection/AST/Argument.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Argument/Information.agda
usr/share/agda/lib/stdlib/Reflection/AST/Argument/Information.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Argument/Modality.agda
usr/share/agda/lib/stdlib/Reflection/AST/Argument/Modality.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Argument/Quantity.agda
usr/share/agda/lib/stdlib/Reflection/AST/Argument/Quantity.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Argument/Relevance.agda
usr/share/agda/lib/stdlib/Reflection/AST/Argument/Relevance.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Argument/Visibility.agda
usr/share/agda/lib/stdlib/Reflection/AST/Argument/Visibility.agdai
usr/share/agda/lib/stdlib/Reflection/AST/DeBruijn.agda
usr/share/agda/lib/stdlib/Reflection/AST/DeBruijn.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Definition.agda
usr/share/agda/lib/stdlib/Reflection/AST/Definition.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Instances.agda
usr/share/agda/lib/stdlib/Reflection/AST/Instances.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Literal.agda
usr/share/agda/lib/stdlib/Reflection/AST/Literal.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Meta.agda
usr/share/agda/lib/stdlib/Reflection/AST/Meta.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Name.agda
usr/share/agda/lib/stdlib/Reflection/AST/Name.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Pattern.agda
usr/share/agda/lib/stdlib/Reflection/AST/Pattern.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Show.agda
usr/share/agda/lib/stdlib/Reflection/AST/Show.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Term.agda
usr/share/agda/lib/stdlib/Reflection/AST/Term.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Traversal.agda
usr/share/agda/lib/stdlib/Reflection/AST/Traversal.agdai
usr/share/agda/lib/stdlib/Reflection/AST/Universe.agda
usr/share/agda/lib/stdlib/Reflection/AST/Universe.agdai
usr/share/agda/lib/stdlib/Reflection/AnnotatedAST/
usr/share/agda/lib/stdlib/Reflection/AnnotatedAST.agda
usr/share/agda/lib/stdlib/Reflection/AnnotatedAST.agdai
usr/share/agda/lib/stdlib/Reflection/AnnotatedAST/Free.agda
usr/share/agda/lib/stdlib/Reflection/AnnotatedAST/Free.agdai
usr/share/agda/lib/stdlib/Reflection/External.agda
usr/share/agda/lib/stdlib/Reflection/External.agdai
usr/share/agda/lib/stdlib/Reflection/TCM/
usr/share/agda/lib/stdlib/Reflection/TCM.agda
usr/share/agda/lib/stdlib/Reflection/TCM.agdai
usr/share/agda/lib/stdlib/Reflection/TCM/Categorical.agda
usr/share/agda/lib/stdlib/Reflection/TCM/Effectful.agda
usr/share/agda/lib/stdlib/Reflection/TCM/Effectful.agdai
usr/share/agda/lib/stdlib/Reflection/TCM/Format.agda
usr/share/agda/lib/stdlib/Reflection/TCM/Format.agdai
usr/share/agda/lib/stdlib/Reflection/TCM/Instances.agda
usr/share/agda/lib/stdlib/Reflection/TCM/Instances.agdai
usr/share/agda/lib/stdlib/Reflection/TCM/Syntax.agda
usr/share/agda/lib/stdlib/Reflection/TCM/Syntax.agdai
usr/share/agda/lib/stdlib/Reflection/TCM/Utilities.agda
usr/share/agda/lib/stdlib/Reflection/TCM/Utilities.agdai
usr/share/agda/lib/stdlib/Relation/
usr/share/agda/lib/stdlib/Relation/Binary/
usr/share/agda/lib/stdlib/Relation/Binary.agda
usr/share/agda/lib/stdlib/Relation/Binary.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Bundles.agda
usr/share/agda/lib/stdlib/Relation/Binary/Bundles.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Consequences.agda
usr/share/agda/lib/stdlib/Relation/Binary/Consequences.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/Equality.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/Equality.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/NonStrict.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/NonStrict.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/Strict.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/Strict.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/Equality.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/Equality.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/NonStrict.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/NonStrict.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/Strict.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/Strict.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Point/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Point/Equality.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Point/Equality.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/Equality.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/Equality.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/NonStrict.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/NonStrict.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/Strict.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/Strict.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Always.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Always.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Equivalence/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Equivalence.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Equivalence.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Equivalence/Properties.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Equivalence/Properties.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/Properties/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/Properties.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/Properties.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Symmetric.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Symmetric.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/SymmetricTransitive.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/SymmetricTransitive.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Transitive/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Transitive.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Transitive.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Transitive/WithK.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Transitive/WithK.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Composition.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Composition.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Constant/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Constant.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Constant.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Constant/Core.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Constant/Core.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Converse.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Flip/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Flip.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Flip/EqAndOrd.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Flip/EqAndOrd.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Flip/Ord.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Flip/Ord.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/FromPred.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/FromPred.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/FromRel.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/FromRel.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Interior/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Interior/Symmetric.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Interior/Symmetric.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Intersection.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Intersection.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/NaturalOrder/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/NaturalOrder/Left.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/NaturalOrder/Left.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/NaturalOrder/Right.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/NaturalOrder/Right.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Never.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Never.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/NonStrictToStrict.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/NonStrictToStrict.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/On.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/On.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/StrictToNonStrict.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/StrictToNonStrict.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Subst/
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Subst/Equality.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Subst/Equality.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Union.agda
usr/share/agda/lib/stdlib/Relation/Binary/Construct/Union.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Core.agda
usr/share/agda/lib/stdlib/Relation/Binary/Core.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Definitions.agda
usr/share/agda/lib/stdlib/Relation/Binary/Definitions.agdai
usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/
usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality.agda
usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality.agdai
usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Core.agda
usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Core.agdai
usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Quotients/
usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Quotients.agda
usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Quotients.agdai
usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda
usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Bundles.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Bundles.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/At.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Core.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Core.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Definitions.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Definitions.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Structures.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Structures.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Bundles.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Bundles.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Construct/
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Construct/At.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Construct/At.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Core.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Core.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Definitions.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Definitions.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Structures.agda
usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Structures.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/
usr/share/agda/lib/stdlib/Relation/Binary/Lattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Bundles.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Bundles.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Definitions.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Definitions.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/BoundedJoinSemilattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/BoundedJoinSemilattice.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/BoundedLattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/BoundedLattice.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/BoundedMeetSemilattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/BoundedMeetSemilattice.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/DistributiveLattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/DistributiveLattice.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/HeytingAlgebra.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/HeytingAlgebra.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/JoinSemilattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/JoinSemilattice.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/Lattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/Lattice.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/MeetSemilattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Properties/MeetSemilattice.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Structures.agda
usr/share/agda/lib/stdlib/Relation/Binary/Lattice/Structures.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/
usr/share/agda/lib/stdlib/Relation/Binary/Morphism.agda
usr/share/agda/lib/stdlib/Relation/Binary/Morphism.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Bundles.agda
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Bundles.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Construct/
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Construct/Composition.agda
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Construct/Composition.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Construct/Constant.agda
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Construct/Constant.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Construct/Identity.agda
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Construct/Identity.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Definitions.agda
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Definitions.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/OrderMonomorphism.agda
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/OrderMonomorphism.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/RelMonomorphism.agda
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/RelMonomorphism.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Structures.agda
usr/share/agda/lib/stdlib/Relation/Binary/Morphism/Structures.agdai
usr/share/agda/lib/stdlib/Relation/Binary/OrderMorphism.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/
usr/share/agda/lib/stdlib/Relation/Binary/Properties/ApartnessRelation.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/ApartnessRelation.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Properties/BoundedJoinSemilattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/BoundedLattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/BoundedMeetSemilattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/DecSetoid.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/DecSetoid.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Properties/DecTotalOrder.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/DecTotalOrder.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Properties/DistributiveLattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/HeytingAlgebra.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/JoinSemilattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/Lattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/MeetSemilattice.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/Poset.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/Poset.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Properties/Preorder.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/Preorder.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Properties/Setoid.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/Setoid.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Properties/StrictPartialOrder.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/StrictPartialOrder.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Properties/StrictTotalOrder.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/StrictTotalOrder.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Properties/TotalOrder.agda
usr/share/agda/lib/stdlib/Relation/Binary/Properties/TotalOrder.agdai
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality.agda
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality.agdai
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/Algebra.agda
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/Algebra.agdai
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/Core.agda
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/Core.agdai
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/Properties.agda
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/Properties.agdai
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/TrustMe.agda
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/TrustMe.agdai
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/WithK.agda
usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/WithK.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Apartness.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Apartness.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Double.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Double.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Partial.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Partial.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Single.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Single.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Triple.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Triple.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/MultiSetoid.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/MultiSetoid.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/PartialOrder.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/PartialOrder.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/PartialSetoid.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/PartialSetoid.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Preorder.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Preorder.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Setoid.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Setoid.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/StrictPartialOrder.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/StrictPartialOrder.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Syntax.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Syntax.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Reflection.agda
usr/share/agda/lib/stdlib/Relation/Binary/Reflection.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Rewriting.agda
usr/share/agda/lib/stdlib/Relation/Binary/Rewriting.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Structures/
usr/share/agda/lib/stdlib/Relation/Binary/Structures.agda
usr/share/agda/lib/stdlib/Relation/Binary/Structures.agdai
usr/share/agda/lib/stdlib/Relation/Binary/Structures/Biased.agda
usr/share/agda/lib/stdlib/Relation/Binary/Structures/Biased.agdai
usr/share/agda/lib/stdlib/Relation/Binary/TypeClasses.agda
usr/share/agda/lib/stdlib/Relation/Binary/TypeClasses.agdai
usr/share/agda/lib/stdlib/Relation/Nary.agda
usr/share/agda/lib/stdlib/Relation/Nary.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/
usr/share/agda/lib/stdlib/Relation/Nullary.agda
usr/share/agda/lib/stdlib/Relation/Nullary.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Construct/
usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/
usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Extrema.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Extrema.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Infimum.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Infimum.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Point.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Point.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Supremum.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Supremum.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Decidable/
usr/share/agda/lib/stdlib/Relation/Nullary/Decidable.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Decidable.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Decidable/Core.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Decidable/Core.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Implication.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Indexed/
usr/share/agda/lib/stdlib/Relation/Nullary/Indexed.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Indexed.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Indexed/Negation.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Indexed/Negation.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Negation/
usr/share/agda/lib/stdlib/Relation/Nullary/Negation.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Negation.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Negation/Core.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Negation/Core.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Product.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Recomputable.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Recomputable.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Reflects.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Reflects.agdai
usr/share/agda/lib/stdlib/Relation/Nullary/Sum.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Universe.agda
usr/share/agda/lib/stdlib/Relation/Nullary/Universe.agdai
usr/share/agda/lib/stdlib/Relation/Unary/
usr/share/agda/lib/stdlib/Relation/Unary.agda
usr/share/agda/lib/stdlib/Relation/Unary.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Algebra.agda
usr/share/agda/lib/stdlib/Relation/Unary/Algebra.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Closure/
usr/share/agda/lib/stdlib/Relation/Unary/Closure/Base.agda
usr/share/agda/lib/stdlib/Relation/Unary/Closure/Base.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Closure/Preorder.agda
usr/share/agda/lib/stdlib/Relation/Unary/Closure/Preorder.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Closure/StrictPartialOrder.agda
usr/share/agda/lib/stdlib/Relation/Unary/Closure/StrictPartialOrder.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Consequences.agda
usr/share/agda/lib/stdlib/Relation/Unary/Consequences.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Indexed.agda
usr/share/agda/lib/stdlib/Relation/Unary/Indexed.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Polymorphic/
usr/share/agda/lib/stdlib/Relation/Unary/Polymorphic.agda
usr/share/agda/lib/stdlib/Relation/Unary/Polymorphic.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Polymorphic/Properties.agda
usr/share/agda/lib/stdlib/Relation/Unary/Polymorphic/Properties.agdai
usr/share/agda/lib/stdlib/Relation/Unary/PredicateTransformer.agda
usr/share/agda/lib/stdlib/Relation/Unary/PredicateTransformer.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Properties.agda
usr/share/agda/lib/stdlib/Relation/Unary/Properties.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Relation/
usr/share/agda/lib/stdlib/Relation/Unary/Relation/Binary/
usr/share/agda/lib/stdlib/Relation/Unary/Relation/Binary/Equality.agda
usr/share/agda/lib/stdlib/Relation/Unary/Relation/Binary/Equality.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Relation/Binary/Subset.agda
usr/share/agda/lib/stdlib/Relation/Unary/Relation/Binary/Subset.agdai
usr/share/agda/lib/stdlib/Relation/Unary/Sized.agda
usr/share/agda/lib/stdlib/Relation/Unary/Sized.agdai
usr/share/agda/lib/stdlib/Size.agda
usr/share/agda/lib/stdlib/Size.agdai
usr/share/agda/lib/stdlib/Strict.agda
usr/share/agda/lib/stdlib/System/
usr/share/agda/lib/stdlib/System/Clock/
usr/share/agda/lib/stdlib/System/Clock.agda
usr/share/agda/lib/stdlib/System/Clock.agdai
usr/share/agda/lib/stdlib/System/Clock/Primitive.agda
usr/share/agda/lib/stdlib/System/Clock/Primitive.agdai
usr/share/agda/lib/stdlib/System/Console/
usr/share/agda/lib/stdlib/System/Console/ANSI.agda
usr/share/agda/lib/stdlib/System/Console/ANSI.agdai
usr/share/agda/lib/stdlib/System/Directory/
usr/share/agda/lib/stdlib/System/Directory.agda
usr/share/agda/lib/stdlib/System/Directory.agdai
usr/share/agda/lib/stdlib/System/Directory/Primitive.agda
usr/share/agda/lib/stdlib/System/Directory/Primitive.agdai
usr/share/agda/lib/stdlib/System/Environment/
usr/share/agda/lib/stdlib/System/Environment.agda
usr/share/agda/lib/stdlib/System/Environment.agdai
usr/share/agda/lib/stdlib/System/Environment/Primitive.agda
usr/share/agda/lib/stdlib/System/Environment/Primitive.agdai
usr/share/agda/lib/stdlib/System/Exit/
usr/share/agda/lib/stdlib/System/Exit.agda
usr/share/agda/lib/stdlib/System/Exit.agdai
usr/share/agda/lib/stdlib/System/Exit/Primitive.agda
usr/share/agda/lib/stdlib/System/Exit/Primitive.agdai
usr/share/agda/lib/stdlib/System/FilePath/
usr/share/agda/lib/stdlib/System/FilePath/Posix/
usr/share/agda/lib/stdlib/System/FilePath/Posix.agda
usr/share/agda/lib/stdlib/System/FilePath/Posix.agdai
usr/share/agda/lib/stdlib/System/FilePath/Posix/Primitive.agda
usr/share/agda/lib/stdlib/System/FilePath/Posix/Primitive.agdai
usr/share/agda/lib/stdlib/System/Process/
usr/share/agda/lib/stdlib/System/Process.agda
usr/share/agda/lib/stdlib/System/Process.agdai
usr/share/agda/lib/stdlib/System/Process/Primitive.agda
usr/share/agda/lib/stdlib/System/Process/Primitive.agdai
usr/share/agda/lib/stdlib/System/Random/
usr/share/agda/lib/stdlib/System/Random.agda
usr/share/agda/lib/stdlib/System/Random.agdai
usr/share/agda/lib/stdlib/System/Random/Primitive.agda
usr/share/agda/lib/stdlib/System/Random/Primitive.agdai
usr/share/agda/lib/stdlib/Tactic/
usr/share/agda/lib/stdlib/Tactic/Cong.agda
usr/share/agda/lib/stdlib/Tactic/Cong.agdai
usr/share/agda/lib/stdlib/Tactic/MonoidSolver.agda
usr/share/agda/lib/stdlib/Tactic/MonoidSolver.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/
usr/share/agda/lib/stdlib/Tactic/RingSolver.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/AlmostCommutativeRing.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/AlmostCommutativeRing.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Expression.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Expression.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/NatSet.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/NatSet.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Base.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Base.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Addition.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Addition.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Constants.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Constants.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Exponentiation.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Exponentiation.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Lemmas.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Lemmas.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Multiplication.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Multiplication.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Negation.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Negation.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Variables.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Homomorphism/Variables.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Parameters.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Parameters.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Reasoning.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Reasoning.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Semantics.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/Core/Polynomial/Semantics.agdai
usr/share/agda/lib/stdlib/Tactic/RingSolver/NonReflective.agda
usr/share/agda/lib/stdlib/Tactic/RingSolver/NonReflective.agdai
usr/share/agda/lib/stdlib/Test/
usr/share/agda/lib/stdlib/Test/Golden.agda
usr/share/agda/lib/stdlib/Test/Golden.agdai
usr/share/agda/lib/stdlib/Text/
usr/share/agda/lib/stdlib/Text/Format/
usr/share/agda/lib/stdlib/Text/Format.agda
usr/share/agda/lib/stdlib/Text/Format.agdai
usr/share/agda/lib/stdlib/Text/Format/Generic.agda
usr/share/agda/lib/stdlib/Text/Format/Generic.agdai
usr/share/agda/lib/stdlib/Text/Pretty/
usr/share/agda/lib/stdlib/Text/Pretty.agda
usr/share/agda/lib/stdlib/Text/Pretty.agdai
usr/share/agda/lib/stdlib/Text/Pretty/Core.agda
usr/share/agda/lib/stdlib/Text/Pretty/Core.agdai
usr/share/agda/lib/stdlib/Text/Printf/
usr/share/agda/lib/stdlib/Text/Printf.agda
usr/share/agda/lib/stdlib/Text/Printf.agdai
usr/share/agda/lib/stdlib/Text/Printf/Generic.agda
usr/share/agda/lib/stdlib/Text/Printf/Generic.agdai
usr/share/agda/lib/stdlib/Text/Regex/
usr/share/agda/lib/stdlib/Text/Regex.agda
usr/share/agda/lib/stdlib/Text/Regex.agdai
usr/share/agda/lib/stdlib/Text/Regex/Base.agda
usr/share/agda/lib/stdlib/Text/Regex/Base.agdai
usr/share/agda/lib/stdlib/Text/Regex/Derivative/
usr/share/agda/lib/stdlib/Text/Regex/Derivative/Brzozowski.agda
usr/share/agda/lib/stdlib/Text/Regex/Derivative/Brzozowski.agdai
usr/share/agda/lib/stdlib/Text/Regex/Properties/
usr/share/agda/lib/stdlib/Text/Regex/Properties.agda
usr/share/agda/lib/stdlib/Text/Regex/Properties.agdai
usr/share/agda/lib/stdlib/Text/Regex/Properties/Core.agda
usr/share/agda/lib/stdlib/Text/Regex/Properties/Core.agdai
usr/share/agda/lib/stdlib/Text/Regex/Search.agda
usr/share/agda/lib/stdlib/Text/Regex/Search.agdai
usr/share/agda/lib/stdlib/Text/Regex/SmartConstructors.agda
usr/share/agda/lib/stdlib/Text/Regex/SmartConstructors.agdai
usr/share/agda/lib/stdlib/Text/Regex/String/
usr/share/agda/lib/stdlib/Text/Regex/String.agda
usr/share/agda/lib/stdlib/Text/Regex/String.agdai
usr/share/agda/lib/stdlib/Text/Regex/String/Unsafe.agda
usr/share/agda/lib/stdlib/Text/Regex/String/Unsafe.agdai
usr/share/agda/lib/stdlib/Text/Tabular/
usr/share/agda/lib/stdlib/Text/Tabular/Base.agda
usr/share/agda/lib/stdlib/Text/Tabular/Base.agdai
usr/share/agda/lib/stdlib/Text/Tabular/List.agda
usr/share/agda/lib/stdlib/Text/Tabular/List.agdai
usr/share/agda/lib/stdlib/Text/Tabular/Vec.agda
usr/share/agda/lib/stdlib/Text/Tabular/Vec.agdai
usr/share/agda/lib/stdlib/Text/Tree/
usr/share/agda/lib/stdlib/Text/Tree/Linear.agda
usr/share/licenses/
usr/share/licenses/agda-stdlib/
usr/share/licenses/agda-stdlib/LICENCE
