How To Install Agda-stdlib on Fedora 36

In this tutorial we learn how to install Agda-stdlib in Fedora 36. Agda-stdlib is Agda standard libraries

Introduction

In this tutorial we learn how to install Agda-stdlib on Fedora 36.

What is `Agda-stdlib`

Agda standard libraries

We can use yum or dnf to install Agda-stdlib on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install Agda-stdlib.

Install Agda-stdlib on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install Agda-stdlib using dnf by running the following command:

sudo dnf -y install Agda-stdlib

Install Agda-stdlib on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install Agda-stdlib using yum by running the following command:

sudo yum -y install Agda-stdlib

How To Uninstall Agda-stdlib on Fedora 36

To uninstall only the Agda-stdlib package we can use the following command:

sudo dnf remove Agda-stdlib

Agda-stdlib Package Contents on Fedora 36

/usr/share/Agda-stdlib
/usr/share/Agda-stdlib/_build
/usr/share/Agda-stdlib/_build/2.6.2.1
/usr/share/Agda-stdlib/_build/2.6.2.1/agda
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/Everything.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/EverythingSafe.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Axiom.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Case.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Container
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Container/FreeMonad.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Container/Indexed.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Integer.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Fresh.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Membership.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Relation/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Relation/Binary/Equality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Relation/Binary/Permutation.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Relation/Binary/Pointwise.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Relation/Binary/Subset.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Relation/Ternary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Relation/Ternary/Interleaving.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/List/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Nat
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Nat.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Nat/Induction.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Record.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Tree
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Tree/AVL.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Trie
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Trie/NonDependent.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Data/Wrap.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Debug
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Debug/Trace.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Design
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Design/Decidability.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Design/Hierarchies.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Foreign
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Foreign/Haskell.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Function
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Function/Reasoning.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/IO.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Inspect.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Nary.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Tactic
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Tactic/MonoidSolver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Tactic/RingSolver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Text
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Text/Pretty.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Text/Printf.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Text/Regex.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/README/Text/Tabular.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Consequences
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Consequences/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Consequences/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Consequences/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/DirectProduct.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/LexProduct
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/LexProduct.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/LexProduct/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/LexProduct/Inner.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/LiftedChoice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/NaturalChoice
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/NaturalChoice/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/NaturalChoice/Max.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/NaturalChoice/MaxOp.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/NaturalChoice/Min.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/NaturalChoice/MinMaxOp.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/NaturalChoice/MinOp.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/Subst
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/Subst/Equality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Construct/Zero.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Definitions
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Definitions/RawMagma.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Definitions/RawMonoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Definitions/RawSemiring.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Consequences.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Construct
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Construct/DirectProduct.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Construct/TensorUnit.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Construct/Zero.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Definitions
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Definitions/Bi.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Definitions/Left.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Definitions/Right.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Structures
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Structures.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Module/Structures/Biased.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Morphism
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Morphism.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Morphism/Consequences.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Morphism/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Morphism/GroupMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Morphism/LatticeMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Morphism/MagmaMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Morphism/MonoidMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Morphism/RingMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Morphism/Structures.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Operations
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Operations/CommutativeMonoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/AbelianGroup.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/BooleanAlgebra
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/BooleanAlgebra.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/BooleanAlgebra/Expression.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CancellativeCommutativeSemiring.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeMagma
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeMagma/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeMonoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeMonoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeMonoid/Mult
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeMonoid/Mult.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeMonoid/Mult/TCOptimised.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeMonoid/Sum.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeSemigroup
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeSemigroup.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeSemigroup/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeSemiring
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeSemiring/Exp
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeSemiring/Exp.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/CommutativeSemiring/Exp/TCOptimised.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/DistributiveLattice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Group.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Lattice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Magma
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Magma/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Monoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Monoid/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Monoid/Mult
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Monoid/Mult.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Monoid/Mult/TCOptimised.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Monoid/Sum.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Ring.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semigroup
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semigroup.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semigroup/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semilattice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semiring
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semiring/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semiring/Exp
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semiring/Exp.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semiring/Exp/TCOptimised.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semiring/Mult
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semiring/Mult.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semiring/Mult/TCOptimised.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semiring/Primality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Properties/Semiring/Sum.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/CommutativeMonoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/CommutativeMonoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/CommutativeMonoid/Example.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/IdempotentCommutativeMonoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/IdempotentCommutativeMonoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/Monoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/Ring
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/Ring.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/Ring/AlmostCommutativeRing.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/Ring/Lemmas.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/Ring/NaturalCoefficients
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/Ring/NaturalCoefficients.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/Ring/NaturalCoefficients/Default.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Solver/Ring/Simple.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Structures
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Structures.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Algebra/Structures/Biased.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Axiom
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Axiom/DoubleNegationElimination.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Axiom/ExcludedMiddle.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Axiom/Extensionality
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Axiom/Extensionality/Heterogeneous.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Axiom/Extensionality/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Axiom/UniquenessOfIdentityProofs
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Axiom/UniquenessOfIdentityProofs.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Axiom/UniquenessOfIdentityProofs/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Applicative
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Applicative.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Applicative/Indexed.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Applicative/Predicate.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Comonad.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Functor
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Functor.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Functor/Predicate.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Monad
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Monad.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Monad/Continuation.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Monad/Indexed.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Monad/Partiality
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Monad/Partiality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Monad/Partiality/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Monad/Partiality/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Monad/Predicate.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Monad/Reader.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Category/Monad/State.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Cofin
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Cofin.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Cofin/Literals.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Colist
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Colist.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Colist/Bisimilarity.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Colist/Categorical.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Colist/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Conat
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Conat.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Conat/Bisimilarity.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Conat/Literals.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Conat/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Covec
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Covec.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Covec/Bisimilarity.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Covec/Categorical.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Covec/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Covec/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Cowriter
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Cowriter.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Cowriter/Bisimilarity.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Delay
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Delay.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Delay/Bisimilarity.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Delay/Categorical.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Delay/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/M
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/M.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/M/Bisimilarity.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/M/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Cofin.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Bisimilarity.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Infinite-merge.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Relation/Unary/All
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Relation/Unary/All/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Relation/Unary/Any
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Colist/Relation/Unary/Any/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Conat
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Conat.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Conat/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Conversion.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Costring.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Covec.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/M
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/M.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/M/Indexed.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Notation.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Musical/Stream.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Stream
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Stream.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Stream/Bisimilarity.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Stream/Categorical.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Stream/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Stream/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Codata/Thunk.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Bool
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Bool.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Bool/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Bool/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Bool/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Bool/Show.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Bool/Solver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/BoundedVec
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/BoundedVec.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/BoundedVec/Inefficient.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Char
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Char.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Char/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Char/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Char/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Combinator
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Combinator.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Combinator/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Fixpoints
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Fixpoints/Guarded.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Fixpoints/Sized.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/FreeMonad.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Indexed
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Indexed.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Indexed/Combinator.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Indexed/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Indexed/Fixpoints
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Indexed/Fixpoints/Guarded.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Indexed/FreeMonad.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Indexed/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Membership.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Morphism
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Morphism.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Morphism/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Related.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation/Binary/Equality
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation/Binary/Equality/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation/Binary/Pointwise
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation/Binary/Pointwise.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation/Binary/Pointwise/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation/Unary/Any
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Container/Relation/Unary/Any/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/DifferenceList.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/DifferenceNat.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/DifferenceVec.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Digit
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Digit.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Digit/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Empty
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Empty.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Empty/Irrelevant.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Empty/Polymorphic.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Erased.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Induction.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Literals.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Patterns.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Permutation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Permutation.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Permutation/Components.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Permutation/Transposition
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Permutation/Transposition/List.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Reflection.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Show.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Subset
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Subset.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Subset/Induction.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Subset/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Substitution
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Substitution.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Substitution/Example.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Substitution/Lemmas.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Fin/Substitution/List.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Float
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Float.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Float/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Float/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Float/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Graph
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Graph/Acyclic.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Coprimality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/DivMod.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Divisibility
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Divisibility/Signed.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/GCD.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/LCM.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Literals.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Show.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Solver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Tactic
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Integer/Tactic/RingSolver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Categorical.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Countdown.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Extrema
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Extrema.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Extrema/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Extrema/Nat.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Membership
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Membership/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Membership/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Membership/Setoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Relation/Unary/All
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Relation/Unary/All/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Relation/Unary/Any
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Fresh/Relation/Unary/Any/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Kleene
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Kleene.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Kleene/AsList.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Kleene/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Literals.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership/DecPropositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership/DecSetoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership/Propositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership/Propositional/Properties
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership/Propositional/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership/Propositional/Properties/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership/Propositional/Properties/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Membership/Setoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/NonEmpty
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/NonEmpty.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/NonEmpty/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/NonEmpty/Categorical.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/NonEmpty/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/NonEmpty/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/BagAndSetEquality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Disjoint
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Disjoint/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Disjoint/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Disjoint/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Equality
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Equality/DecPropositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Equality/DecSetoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Equality/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Equality/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Infix
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Infix/Heterogeneous
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Infix/Heterogeneous.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Infix/Heterogeneous/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Infix/Homogeneous
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Infix/Homogeneous/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Lex
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Lex.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Lex/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Lex/NonStrict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Lex/Strict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Permutation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Permutation/Homogeneous.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Permutation/Propositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Permutation/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Permutation/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Permutation/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Pointwise
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Pointwise.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Pointwise/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Pointwise/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Prefix
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Prefix/Homogeneous
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Prefix/Homogeneous/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Disjoint.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Example
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Example/UniqueBoundVariables.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Subset
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Subset/Propositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Subset/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Subset/Propositional/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Subset/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Subset/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Subset/Setoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Suffix
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Suffix/Homogeneous
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Binary/Suffix/Homogeneous/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Appending
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Appending.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Appending/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Appending/Propositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Appending/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Appending/Propositional/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Appending/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Appending/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Appending/Setoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Interleaving
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Interleaving.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Interleaving/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/All
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/All/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/AllPairs
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/AllPairs.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/AllPairs/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/AllPairs/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Any
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Any/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Enumerates
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Enumerates/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Enumerates/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Enumerates/Setoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/First
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/First.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/First/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Grouped
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Grouped.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Grouped/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Linked
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Linked.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Linked/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Sorted
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Sorted/TotalOrder
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Sorted/TotalOrder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/DecPropositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/DecPropositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/DecPropositional/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/DecSetoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/DecSetoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/DecSetoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/Propositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Relation/Unary/Unique/Setoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Reverse.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Sort
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Sort.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Sort/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Sort/MergeSort.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Zipper
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Zipper.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/List/Zipper/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Categorical.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Relation/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Relation/Binary/Connected.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Relation/Binary/Pointwise.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Relation/Unary/All
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Relation/Unary/All/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Maybe/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Binary.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Binary/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Binary/Induction.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Binary/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Binary/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Binary/Subtraction.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Coprimality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/DivMod
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/DivMod.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/DivMod/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/DivMod/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Divisibility
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Divisibility.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Divisibility/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/GCD
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/GCD.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/GCD/Lemmas.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/GeneralisedArithmetic.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Induction.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/InfinitelyOften.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/LCM.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Literals.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Primality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Properties
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Properties/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/PseudoRandom
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/PseudoRandom/LCG
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/PseudoRandom/LCG.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/PseudoRandom/LCG/Unsafe.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Reflection.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Show
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Show.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Show/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Solver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Tactic
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/Tactic/RingSolver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Nat/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Algebra.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Categorical
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Categorical/Examples.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Categorical/Left
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Categorical/Left.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Categorical/Left/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Categorical/Right
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Categorical/Right.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Categorical/Right/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Function
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Function/Dependent
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Function/Dependent/Propositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Function/Dependent/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Function/Dependent/Propositional/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Function/Dependent/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Function/Dependent/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Function/Dependent/Setoid/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Function/NonDependent
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Function/NonDependent/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Function/NonDependent/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Nary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Nary/NonDependent.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Properties
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Properties/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation/Binary/Lex
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation/Binary/Lex/NonStrict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation/Binary/Lex/Strict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation/Binary/Pointwise
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation/Binary/Pointwise/Dependent
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation/Binary/Pointwise/Dependent.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation/Binary/Pointwise/NonDependent.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Product/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational/Literals.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational/Show.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational/Solver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational/Unnormalised
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational/Unnormalised.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational/Unnormalised/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational/Unnormalised/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Rational/Unnormalised/Solver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Record.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Refinement
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Refinement.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Refinement/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Refinement/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Refinement/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sign
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sign.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sign/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sign/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sign/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Star
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Star/BoundedVec.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Star/Decoration.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Star/Environment.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Star/Fin.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Star/List.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Star/Nat.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Star/Pointer.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Star/Vec.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/String
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/String.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/String/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/String/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/String/Literals.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/String/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/String/Unsafe.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Algebra.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Categorical
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Categorical/Examples.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Categorical/Left.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Categorical/Right.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Function
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Function/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Function/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Relation/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Relation/Binary/LeftOrder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Relation/Binary/Pointwise.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Sum/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Table
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Table.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Table/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Table/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Table/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Table/Relation/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Table/Relation/Binary/Equality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These/Categorical
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These/Categorical/Left
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These/Categorical/Left.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These/Categorical/Left/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These/Categorical/Right
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These/Categorical/Right.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These/Categorical/Right/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/These/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Height.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Indexed
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Indexed.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Indexed/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Indexed/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/Any
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/Any/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Indexed/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/IndexedMap.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Key.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Map
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Map.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Map/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Map/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Map/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/NonEmpty
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/NonEmpty.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/NonEmpty/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Sets.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/AVL/Value.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary/Relation/Unary/All
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary/Relation/Unary/All/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary/Show.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary/Zipper
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary/Zipper.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Binary/Zipper/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Rose
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Rose.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Rose/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Tree/Rose/Show.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Trie
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Trie.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Trie/NonEmpty.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Unit
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Unit.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Unit/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Unit/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Unit/NonEta.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Unit/Polymorphic
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Unit/Polymorphic.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Unit/Polymorphic/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Unit/Polymorphic/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Unit/Polymorphic/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Unit/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Universe
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Universe.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Universe/Indexed.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Bounded
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Bounded.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Bounded/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Categorical.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation/Binary/Equality
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation/Binary/Equality/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation/Binary/Pointwise
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation/Binary/Pointwise.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation/Binary/Pointwise/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation/Unary/All
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation/Unary/All/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Functional/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Membership
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Membership/DecPropositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Membership/DecSetoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Membership/Propositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Membership/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Membership/Propositional/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Membership/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/N-ary.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Properties
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Properties/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Recursive
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Recursive.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Recursive/Categorical.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Recursive/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Equality
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Equality/DecPropositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Equality/DecSetoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Equality/Propositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Equality/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Equality/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Lex
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Lex/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Lex/NonStrict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Lex/Strict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Pointwise
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Pointwise/Extensional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Binary/Pointwise/Inductive.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/All
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/All.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/All/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/AllPairs
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/AllPairs.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/AllPairs/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/AllPairs/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/Any
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/Any.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/Any/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/Unique
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/Unique/Propositional
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/Unique/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/Unique/Propositional/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/Unique/Setoid
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/Unique/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Vec/Relation/Unary/Unique/Setoid/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/W
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/W.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/W/Indexed.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/W/Sized.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/W/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Word
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Word.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Word/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Word/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Word/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Data/Wrap.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Debug
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Debug/Trace.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Foreign
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Foreign/Haskell
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Foreign/Haskell.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Foreign/Haskell/Coerce.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Foreign/Haskell/Either.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Foreign/Haskell/Pair.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Bijection.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Construct
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Construct/Composition.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Construct/Identity.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Construct/Symmetry.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Definitions
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Definitions/Core1.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Definitions/Core2.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Endomorphism
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Endomorphism/Propositional.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Endomorphism/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Equality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Equivalence.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/HalfAdjointEquivalence.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Identity
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Identity/Categorical.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Identity/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Injection.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Inverse.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/LeftInverse.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Nat
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Nat.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Nat/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Nat/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Nat/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Nat/Structures.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Rational
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Rational.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Rational/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Rational/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Rational/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Rational/Structures.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Metric/Structures.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Nary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Nary/NonDependent
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Nary/NonDependent.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Nary/NonDependent/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Properties
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Properties/Equivalence.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Properties/Inverse.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Reasoning.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Related
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Related.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Related/TypeIsomorphisms
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Related/TypeIsomorphisms.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Related/TypeIsomorphisms/Solver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Structures.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Function/Surjection.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/IO
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/IO.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/IO/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/IO/Finite.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/IO/Infinite.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/IO/Primitive
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/IO/Primitive.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/IO/Primitive/Finite.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/IO/Primitive/Infinite.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Induction
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Induction.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Induction/Lexicographic.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Induction/WellFounded.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Level
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Level.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Level/Literals.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Abstraction.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Annotated
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Annotated.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Annotated/Free.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Argument
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Argument.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Argument/Information.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Argument/Modality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Argument/Quantity.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Argument/Relevance.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Argument/Visibility.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/DeBruijn.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Definition.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/External.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Literal.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Meta.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Name.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Pattern.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Show.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Term.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Traversal.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/TypeChecking
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/TypeChecking/Format.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/TypeChecking/Monad
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/TypeChecking/Monad.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/TypeChecking/Monad/Categorical.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/TypeChecking/Monad/Instances.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/TypeChecking/Monad/Syntax.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Reflection/Universe.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Consequences.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Extrema
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Extrema/Equality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Extrema/NonStrict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Extrema/Strict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Infimum
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Infimum/Equality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Infimum/NonStrict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Infimum/Strict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Point
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Point/Equality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Supremum
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Supremum/Equality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Supremum/NonStrict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Add/Supremum/Strict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Always.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Equivalence
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Equivalence.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Equivalence/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Reflexive
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Reflexive.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Reflexive/Properties
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Reflexive/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Symmetric.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/SymmetricTransitive.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Transitive
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Transitive.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Closure/Transitive/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Composition.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Constant
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Constant.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Constant/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Converse.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Flip.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/FromPred.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/FromRel.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Intersection.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/NaturalOrder
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/NaturalOrder/Left.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/NaturalOrder/Right.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Never.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/NonStrictToStrict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/On.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/StrictToNonStrict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Subst
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Subst/Equality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Construct/Union.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/HeterogeneousEquality
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/HeterogeneousEquality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/HeterogeneousEquality/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/HeterogeneousEquality/Quotients
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/HeterogeneousEquality/Quotients.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Heterogeneous
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Heterogeneous.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Heterogeneous/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Heterogeneous/Construct
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Heterogeneous/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Heterogeneous/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Heterogeneous/Structures.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Homogeneous
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Homogeneous.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Homogeneous/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Homogeneous/Construct
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Homogeneous/Construct/At.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Homogeneous/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Homogeneous/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Indexed/Homogeneous/Structures.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Lattice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Morphism
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Morphism.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Morphism/Bundles.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Morphism/Construct
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Morphism/Construct/Composition.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Morphism/Construct/Constant.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Morphism/Construct/Identity.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Morphism/Definitions.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Morphism/OrderMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Morphism/RelMonomorphism.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Morphism/Structures.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/BoundedJoinSemilattice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/BoundedLattice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/BoundedMeetSemilattice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/DecTotalOrder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/DistributiveLattice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/HeytingAlgebra.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/JoinSemilattice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/Lattice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/MeetSemilattice.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/Poset.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/Preorder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/StrictPartialOrder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/StrictTotalOrder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Properties/TotalOrder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/PropositionalEquality
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/PropositionalEquality.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/PropositionalEquality/Algebra.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/PropositionalEquality/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/PropositionalEquality/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/PropositionalEquality/TrustMe.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/PropositionalEquality/WithK.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning/Base
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning/Base/Double.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning/Base/Partial.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning/Base/Single.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning/Base/Triple.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning/MultiSetoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning/PartialOrder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning/PartialSetoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning/Preorder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning/Setoid.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reasoning/StrictPartialOrder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Reflection.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Rewriting.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/Structures.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Binary/TypeClasses.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nary.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Construct
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Construct/Add
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Construct/Add/Extrema.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Construct/Add/Infimum.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Construct/Add/Point.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Construct/Add/Supremum.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Decidable
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Decidable.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Decidable/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Implication.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Indexed
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Indexed.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Indexed/Negation.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Negation
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Negation.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Negation/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Product.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Reflects.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Sum.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Nullary/Universe.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Unary
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Unary.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Unary/Closure
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Unary/Closure/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Unary/Closure/Preorder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Unary/Closure/StrictPartialOrder.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Unary/Consequences.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Unary/Indexed.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Unary/PredicateTransformer.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Unary/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Relation/Unary/Sized.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Size.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Strict.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/System
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/System/Environment
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/System/Environment.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/System/Environment/Primitive.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/System/Exit
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/System/Exit.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/System/Exit/Primitive.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/MonoidSolver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/AlmostCommutativeRing.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Expression.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/NatSet.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Addition.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Constants.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Exponentiation.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Lemmas.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Multiplication.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Negation.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Variables.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Parameters.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Reasoning.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/Polynomial/Semantics.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/Core/ReflectionHelp.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Tactic/RingSolver/NonReflective.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Format
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Format.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Format/Generic.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Pretty
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Pretty.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Pretty/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Printf
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Printf.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Printf/Generic.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex/Derivative
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex/Derivative/Brzozowski.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex/Properties
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex/Properties.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex/Properties/Core.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex/Search.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex/SmartConstructors.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex/String
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex/String.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Regex/String/Unsafe.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Tabular
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Tabular/Base.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Tabular/List.agdai
/usr/share/Agda-stdlib/_build/2.6.2.1/agda/src/Text/Tabular/Vec.agdai
/usr/share/Agda-stdlib/src
/usr/share/Agda-stdlib/src/Algebra
/usr/share/Agda-stdlib/src/Algebra.agda
/usr/share/Agda-stdlib/src/Algebra/Bundles.agda
/usr/share/Agda-stdlib/src/Algebra/Consequences
/usr/share/Agda-stdlib/src/Algebra/Consequences/Base.agda
/usr/share/Agda-stdlib/src/Algebra/Consequences/Propositional.agda
/usr/share/Agda-stdlib/src/Algebra/Consequences/Setoid.agda
/usr/share/Agda-stdlib/src/Algebra/Construct
/usr/share/Agda-stdlib/src/Algebra/Construct/DirectProduct.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/LexProduct
/usr/share/Agda-stdlib/src/Algebra/Construct/LexProduct.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/LexProduct/Base.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/LexProduct/Inner.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/LiftedChoice.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/NaturalChoice
/usr/share/Agda-stdlib/src/Algebra/Construct/NaturalChoice/Base.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/NaturalChoice/Max.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/NaturalChoice/MaxOp.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/NaturalChoice/Min.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/NaturalChoice/MinMaxOp.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/NaturalChoice/MinOp.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/Subst
/usr/share/Agda-stdlib/src/Algebra/Construct/Subst/Equality.agda
/usr/share/Agda-stdlib/src/Algebra/Construct/Zero.agda
/usr/share/Agda-stdlib/src/Algebra/Core.agda
/usr/share/Agda-stdlib/src/Algebra/Definitions
/usr/share/Agda-stdlib/src/Algebra/Definitions.agda
/usr/share/Agda-stdlib/src/Algebra/Definitions/RawMagma.agda
/usr/share/Agda-stdlib/src/Algebra/Definitions/RawMonoid.agda
/usr/share/Agda-stdlib/src/Algebra/Definitions/RawSemiring.agda
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties.agda
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Consequences
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Consequences.agda
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Consequences/Core.agda
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Consequences/Propositional.agda
/usr/share/Agda-stdlib/src/Algebra/FunctionProperties/Core.agda
/usr/share/Agda-stdlib/src/Algebra/Module
/usr/share/Agda-stdlib/src/Algebra/Module/Bundles.agda
/usr/share/Agda-stdlib/src/Algebra/Module/Consequences.agda
/usr/share/Agda-stdlib/src/Algebra/Module/Construct
/usr/share/Agda-stdlib/src/Algebra/Module/Construct/DirectProduct.agda
/usr/share/Agda-stdlib/src/Algebra/Module/Construct/TensorUnit.agda
/usr/share/Agda-stdlib/src/Algebra/Module/Construct/Zero.agda
/usr/share/Agda-stdlib/src/Algebra/Module/Definitions
/usr/share/Agda-stdlib/src/Algebra/Module/Definitions.agda
/usr/share/Agda-stdlib/src/Algebra/Module/Definitions/Bi.agda
/usr/share/Agda-stdlib/src/Algebra/Module/Definitions/Left.agda
/usr/share/Agda-stdlib/src/Algebra/Module/Definitions/Right.agda
/usr/share/Agda-stdlib/src/Algebra/Module/Structures
/usr/share/Agda-stdlib/src/Algebra/Module/Structures.agda
/usr/share/Agda-stdlib/src/Algebra/Module/Structures/Biased.agda
/usr/share/Agda-stdlib/src/Algebra/Morphism
/usr/share/Agda-stdlib/src/Algebra/Morphism.agda
/usr/share/Agda-stdlib/src/Algebra/Morphism/Consequences.agda
/usr/share/Agda-stdlib/src/Algebra/Morphism/Definitions.agda
/usr/share/Agda-stdlib/src/Algebra/Morphism/GroupMonomorphism.agda
/usr/share/Agda-stdlib/src/Algebra/Morphism/LatticeMonomorphism.agda
/usr/share/Agda-stdlib/src/Algebra/Morphism/MagmaMonomorphism.agda
/usr/share/Agda-stdlib/src/Algebra/Morphism/MonoidMonomorphism.agda
/usr/share/Agda-stdlib/src/Algebra/Morphism/RingMonomorphism.agda
/usr/share/Agda-stdlib/src/Algebra/Morphism/Structures.agda
/usr/share/Agda-stdlib/src/Algebra/Operations
/usr/share/Agda-stdlib/src/Algebra/Operations/CommutativeMonoid.agda
/usr/share/Agda-stdlib/src/Algebra/Operations/Ring.agda
/usr/share/Agda-stdlib/src/Algebra/Operations/Semiring.agda
/usr/share/Agda-stdlib/src/Algebra/Properties
/usr/share/Agda-stdlib/src/Algebra/Properties/AbelianGroup.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra/Expression.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/CancellativeCommutativeSemiring.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeMagma
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeMagma/Divisibility.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeMonoid
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeMonoid.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeMonoid/Mult
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeMonoid/Mult.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeMonoid/Mult/TCOptimised.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeMonoid/Sum.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeSemigroup
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeSemigroup.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeSemigroup/Divisibility.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeSemiring
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeSemiring/Exp
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeSemiring/Exp.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/CommutativeSemiring/Exp/TCOptimised.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/DistributiveLattice.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Group.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Lattice.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Magma
/usr/share/Agda-stdlib/src/Algebra/Properties/Magma/Divisibility.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Monoid
/usr/share/Agda-stdlib/src/Algebra/Properties/Monoid/Divisibility.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Monoid/Mult
/usr/share/Agda-stdlib/src/Algebra/Properties/Monoid/Mult.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Monoid/Mult/TCOptimised.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Monoid/Sum.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Ring.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Semigroup
/usr/share/Agda-stdlib/src/Algebra/Properties/Semigroup.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Semigroup/Divisibility.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Semilattice.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Semiring
/usr/share/Agda-stdlib/src/Algebra/Properties/Semiring/Divisibility.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Semiring/Exp
/usr/share/Agda-stdlib/src/Algebra/Properties/Semiring/Exp.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Semiring/Exp/TCOptimised.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Semiring/Mult
/usr/share/Agda-stdlib/src/Algebra/Properties/Semiring/Mult.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Semiring/Mult/TCOptimised.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Semiring/Primality.agda
/usr/share/Agda-stdlib/src/Algebra/Properties/Semiring/Sum.agda
/usr/share/Agda-stdlib/src/Algebra/Solver
/usr/share/Agda-stdlib/src/Algebra/Solver/CommutativeMonoid
/usr/share/Agda-stdlib/src/Algebra/Solver/CommutativeMonoid.agda
/usr/share/Agda-stdlib/src/Algebra/Solver/CommutativeMonoid/Example.agda
/usr/share/Agda-stdlib/src/Algebra/Solver/IdempotentCommutativeMonoid
/usr/share/Agda-stdlib/src/Algebra/Solver/IdempotentCommutativeMonoid.agda
/usr/share/Agda-stdlib/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda
/usr/share/Agda-stdlib/src/Algebra/Solver/Monoid.agda
/usr/share/Agda-stdlib/src/Algebra/Solver/Ring
/usr/share/Agda-stdlib/src/Algebra/Solver/Ring.agda
/usr/share/Agda-stdlib/src/Algebra/Solver/Ring/AlmostCommutativeRing.agda
/usr/share/Agda-stdlib/src/Algebra/Solver/Ring/Lemmas.agda
/usr/share/Agda-stdlib/src/Algebra/Solver/Ring/NaturalCoefficients
/usr/share/Agda-stdlib/src/Algebra/Solver/Ring/NaturalCoefficients.agda
/usr/share/Agda-stdlib/src/Algebra/Solver/Ring/NaturalCoefficients/Default.agda
/usr/share/Agda-stdlib/src/Algebra/Solver/Ring/Simple.agda
/usr/share/Agda-stdlib/src/Algebra/Structures
/usr/share/Agda-stdlib/src/Algebra/Structures.agda
/usr/share/Agda-stdlib/src/Algebra/Structures/Biased.agda
/usr/share/Agda-stdlib/src/Axiom
/usr/share/Agda-stdlib/src/Axiom/DoubleNegationElimination.agda
/usr/share/Agda-stdlib/src/Axiom/ExcludedMiddle.agda
/usr/share/Agda-stdlib/src/Axiom/Extensionality
/usr/share/Agda-stdlib/src/Axiom/Extensionality/Heterogeneous.agda
/usr/share/Agda-stdlib/src/Axiom/Extensionality/Propositional.agda
/usr/share/Agda-stdlib/src/Axiom/UniquenessOfIdentityProofs
/usr/share/Agda-stdlib/src/Axiom/UniquenessOfIdentityProofs.agda
/usr/share/Agda-stdlib/src/Axiom/UniquenessOfIdentityProofs/WithK.agda
/usr/share/Agda-stdlib/src/Category
/usr/share/Agda-stdlib/src/Category/Applicative
/usr/share/Agda-stdlib/src/Category/Applicative.agda
/usr/share/Agda-stdlib/src/Category/Applicative/Indexed.agda
/usr/share/Agda-stdlib/src/Category/Applicative/Predicate.agda
/usr/share/Agda-stdlib/src/Category/Comonad.agda
/usr/share/Agda-stdlib/src/Category/Functor
/usr/share/Agda-stdlib/src/Category/Functor.agda
/usr/share/Agda-stdlib/src/Category/Functor/Predicate.agda
/usr/share/Agda-stdlib/src/Category/Monad
/usr/share/Agda-stdlib/src/Category/Monad.agda
/usr/share/Agda-stdlib/src/Category/Monad/Continuation.agda
/usr/share/Agda-stdlib/src/Category/Monad/Indexed.agda
/usr/share/Agda-stdlib/src/Category/Monad/Partiality
/usr/share/Agda-stdlib/src/Category/Monad/Partiality.agda
/usr/share/Agda-stdlib/src/Category/Monad/Partiality/All.agda
/usr/share/Agda-stdlib/src/Category/Monad/Partiality/Instances.agda
/usr/share/Agda-stdlib/src/Category/Monad/Predicate.agda
/usr/share/Agda-stdlib/src/Category/Monad/Reader.agda
/usr/share/Agda-stdlib/src/Category/Monad/State.agda
/usr/share/Agda-stdlib/src/Codata
/usr/share/Agda-stdlib/src/Codata/Cofin
/usr/share/Agda-stdlib/src/Codata/Cofin.agda
/usr/share/Agda-stdlib/src/Codata/Cofin/Literals.agda
/usr/share/Agda-stdlib/src/Codata/Colist
/usr/share/Agda-stdlib/src/Codata/Colist.agda
/usr/share/Agda-stdlib/src/Codata/Colist/Bisimilarity.agda
/usr/share/Agda-stdlib/src/Codata/Colist/Categorical.agda
/usr/share/Agda-stdlib/src/Codata/Colist/Properties.agda
/usr/share/Agda-stdlib/src/Codata/Conat
/usr/share/Agda-stdlib/src/Codata/Conat.agda
/usr/share/Agda-stdlib/src/Codata/Conat/Bisimilarity.agda
/usr/share/Agda-stdlib/src/Codata/Conat/Literals.agda
/usr/share/Agda-stdlib/src/Codata/Conat/Properties.agda
/usr/share/Agda-stdlib/src/Codata/Covec
/usr/share/Agda-stdlib/src/Codata/Covec.agda
/usr/share/Agda-stdlib/src/Codata/Covec/Bisimilarity.agda
/usr/share/Agda-stdlib/src/Codata/Covec/Categorical.agda
/usr/share/Agda-stdlib/src/Codata/Covec/Instances.agda
/usr/share/Agda-stdlib/src/Codata/Covec/Properties.agda
/usr/share/Agda-stdlib/src/Codata/Cowriter
/usr/share/Agda-stdlib/src/Codata/Cowriter.agda
/usr/share/Agda-stdlib/src/Codata/Cowriter/Bisimilarity.agda
/usr/share/Agda-stdlib/src/Codata/Delay
/usr/share/Agda-stdlib/src/Codata/Delay.agda
/usr/share/Agda-stdlib/src/Codata/Delay/Bisimilarity.agda
/usr/share/Agda-stdlib/src/Codata/Delay/Categorical.agda
/usr/share/Agda-stdlib/src/Codata/Delay/Properties.agda
/usr/share/Agda-stdlib/src/Codata/M
/usr/share/Agda-stdlib/src/Codata/M.agda
/usr/share/Agda-stdlib/src/Codata/M/Bisimilarity.agda
/usr/share/Agda-stdlib/src/Codata/M/Properties.agda
/usr/share/Agda-stdlib/src/Codata/Musical
/usr/share/Agda-stdlib/src/Codata/Musical/Cofin.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Colist
/usr/share/Agda-stdlib/src/Codata/Musical/Colist.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Base.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Bisimilarity.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Infinite-merge.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Properties.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Relation
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Relation/Unary
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/All
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/All/Properties.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/Any
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/Any.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Colist/Relation/Unary/Any/Properties.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Conat
/usr/share/Agda-stdlib/src/Codata/Musical/Conat.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Conat/Base.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Conversion.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Costring.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Covec.agda
/usr/share/Agda-stdlib/src/Codata/Musical/M
/usr/share/Agda-stdlib/src/Codata/Musical/M.agda
/usr/share/Agda-stdlib/src/Codata/Musical/M/Indexed.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Notation.agda
/usr/share/Agda-stdlib/src/Codata/Musical/Stream.agda
/usr/share/Agda-stdlib/src/Codata/Stream
/usr/share/Agda-stdlib/src/Codata/Stream.agda
/usr/share/Agda-stdlib/src/Codata/Stream/Bisimilarity.agda
/usr/share/Agda-stdlib/src/Codata/Stream/Categorical.agda
/usr/share/Agda-stdlib/src/Codata/Stream/Instances.agda
/usr/share/Agda-stdlib/src/Codata/Stream/Properties.agda
/usr/share/Agda-stdlib/src/Codata/Thunk.agda
/usr/share/Agda-stdlib/src/Data
/usr/share/Agda-stdlib/src/Data/AVL
/usr/share/Agda-stdlib/src/Data/AVL.agda
/usr/share/Agda-stdlib/src/Data/AVL/Height.agda
/usr/share/Agda-stdlib/src/Data/AVL/Indexed
/usr/share/Agda-stdlib/src/Data/AVL/Indexed.agda
/usr/share/Agda-stdlib/src/Data/AVL/Indexed/WithK.agda
/usr/share/Agda-stdlib/src/Data/AVL/IndexedMap.agda
/usr/share/Agda-stdlib/src/Data/AVL/Key.agda
/usr/share/Agda-stdlib/src/Data/AVL/Map.agda
/usr/share/Agda-stdlib/src/Data/AVL/NonEmpty
/usr/share/Agda-stdlib/src/Data/AVL/NonEmpty.agda
/usr/share/Agda-stdlib/src/Data/AVL/NonEmpty/Propositional.agda
/usr/share/Agda-stdlib/src/Data/AVL/Sets.agda
/usr/share/Agda-stdlib/src/Data/AVL/Value.agda
/usr/share/Agda-stdlib/src/Data/Bin
/usr/share/Agda-stdlib/src/Data/Bin.agda
/usr/share/Agda-stdlib/src/Data/Bin/Properties.agda
/usr/share/Agda-stdlib/src/Data/Bool
/usr/share/Agda-stdlib/src/Data/Bool.agda
/usr/share/Agda-stdlib/src/Data/Bool/Base.agda
/usr/share/Agda-stdlib/src/Data/Bool/Instances.agda
/usr/share/Agda-stdlib/src/Data/Bool/Properties.agda
/usr/share/Agda-stdlib/src/Data/Bool/Show.agda
/usr/share/Agda-stdlib/src/Data/Bool/Solver.agda
/usr/share/Agda-stdlib/src/Data/BoundedVec
/usr/share/Agda-stdlib/src/Data/BoundedVec.agda
/usr/share/Agda-stdlib/src/Data/BoundedVec/Inefficient.agda
/usr/share/Agda-stdlib/src/Data/Char
/usr/share/Agda-stdlib/src/Data/Char.agda
/usr/share/Agda-stdlib/src/Data/Char/Base.agda
/usr/share/Agda-stdlib/src/Data/Char/Instances.agda
/usr/share/Agda-stdlib/src/Data/Char/Properties.agda
/usr/share/Agda-stdlib/src/Data/Container
/usr/share/Agda-stdlib/src/Data/Container.agda
/usr/share/Agda-stdlib/src/Data/Container/Any.agda
/usr/share/Agda-stdlib/src/Data/Container/Combinator
/usr/share/Agda-stdlib/src/Data/Container/Combinator.agda
/usr/share/Agda-stdlib/src/Data/Container/Combinator/Properties.agda
/usr/share/Agda-stdlib/src/Data/Container/Core.agda
/usr/share/Agda-stdlib/src/Data/Container/Fixpoints
/usr/share/Agda-stdlib/src/Data/Container/Fixpoints/Guarded.agda
/usr/share/Agda-stdlib/src/Data/Container/Fixpoints/Sized.agda
/usr/share/Agda-stdlib/src/Data/Container/FreeMonad.agda
/usr/share/Agda-stdlib/src/Data/Container/Indexed
/usr/share/Agda-stdlib/src/Data/Container/Indexed.agda
/usr/share/Agda-stdlib/src/Data/Container/Indexed/Combinator.agda
/usr/share/Agda-stdlib/src/Data/Container/Indexed/Core.agda
/usr/share/Agda-stdlib/src/Data/Container/Indexed/Fixpoints
/usr/share/Agda-stdlib/src/Data/Container/Indexed/Fixpoints/Guarded.agda
/usr/share/Agda-stdlib/src/Data/Container/Indexed/FreeMonad.agda
/usr/share/Agda-stdlib/src/Data/Container/Indexed/WithK.agda
/usr/share/Agda-stdlib/src/Data/Container/Membership.agda
/usr/share/Agda-stdlib/src/Data/Container/Morphism
/usr/share/Agda-stdlib/src/Data/Container/Morphism.agda
/usr/share/Agda-stdlib/src/Data/Container/Morphism/Properties.agda
/usr/share/Agda-stdlib/src/Data/Container/Properties.agda
/usr/share/Agda-stdlib/src/Data/Container/Related.agda
/usr/share/Agda-stdlib/src/Data/Container/Relation
/usr/share/Agda-stdlib/src/Data/Container/Relation/Binary
/usr/share/Agda-stdlib/src/Data/Container/Relation/Binary/Equality
/usr/share/Agda-stdlib/src/Data/Container/Relation/Binary/Equality/Setoid.agda
/usr/share/Agda-stdlib/src/Data/Container/Relation/Binary/Pointwise
/usr/share/Agda-stdlib/src/Data/Container/Relation/Binary/Pointwise.agda
/usr/share/Agda-stdlib/src/Data/Container/Relation/Binary/Pointwise/Properties.agda
/usr/share/Agda-stdlib/src/Data/Container/Relation/Unary
/usr/share/Agda-stdlib/src/Data/Container/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Data/Container/Relation/Unary/Any
/usr/share/Agda-stdlib/src/Data/Container/Relation/Unary/Any.agda
/usr/share/Agda-stdlib/src/Data/Container/Relation/Unary/Any/Properties.agda
/usr/share/Agda-stdlib/src/Data/DifferenceList.agda
/usr/share/Agda-stdlib/src/Data/DifferenceNat.agda
/usr/share/Agda-stdlib/src/Data/DifferenceVec.agda
/usr/share/Agda-stdlib/src/Data/Digit
/usr/share/Agda-stdlib/src/Data/Digit.agda
/usr/share/Agda-stdlib/src/Data/Digit/Properties.agda
/usr/share/Agda-stdlib/src/Data/Empty
/usr/share/Agda-stdlib/src/Data/Empty.agda
/usr/share/Agda-stdlib/src/Data/Empty/Irrelevant.agda
/usr/share/Agda-stdlib/src/Data/Empty/Polymorphic.agda
/usr/share/Agda-stdlib/src/Data/Erased.agda
/usr/share/Agda-stdlib/src/Data/Fin
/usr/share/Agda-stdlib/src/Data/Fin.agda
/usr/share/Agda-stdlib/src/Data/Fin/Base.agda
/usr/share/Agda-stdlib/src/Data/Fin/Dec.agda
/usr/share/Agda-stdlib/src/Data/Fin/Induction.agda
/usr/share/Agda-stdlib/src/Data/Fin/Instances.agda
/usr/share/Agda-stdlib/src/Data/Fin/Literals.agda
/usr/share/Agda-stdlib/src/Data/Fin/Patterns.agda
/usr/share/Agda-stdlib/src/Data/Fin/Permutation
/usr/share/Agda-stdlib/src/Data/Fin/Permutation.agda
/usr/share/Agda-stdlib/src/Data/Fin/Permutation/Components.agda
/usr/share/Agda-stdlib/src/Data/Fin/Permutation/Transposition
/usr/share/Agda-stdlib/src/Data/Fin/Permutation/Transposition/List.agda
/usr/share/Agda-stdlib/src/Data/Fin/Properties.agda
/usr/share/Agda-stdlib/src/Data/Fin/Reflection.agda
/usr/share/Agda-stdlib/src/Data/Fin/Show.agda
/usr/share/Agda-stdlib/src/Data/Fin/Subset
/usr/share/Agda-stdlib/src/Data/Fin/Subset.agda
/usr/share/Agda-stdlib/src/Data/Fin/Subset/Induction.agda
/usr/share/Agda-stdlib/src/Data/Fin/Subset/Properties.agda
/usr/share/Agda-stdlib/src/Data/Fin/Substitution
/usr/share/Agda-stdlib/src/Data/Fin/Substitution.agda
/usr/share/Agda-stdlib/src/Data/Fin/Substitution/Example.agda
/usr/share/Agda-stdlib/src/Data/Fin/Substitution/Lemmas.agda
/usr/share/Agda-stdlib/src/Data/Fin/Substitution/List.agda
/usr/share/Agda-stdlib/src/Data/Float
/usr/share/Agda-stdlib/src/Data/Float.agda
/usr/share/Agda-stdlib/src/Data/Float/Base.agda
/usr/share/Agda-stdlib/src/Data/Float/Instances.agda
/usr/share/Agda-stdlib/src/Data/Float/Properties.agda
/usr/share/Agda-stdlib/src/Data/Graph
/usr/share/Agda-stdlib/src/Data/Graph/Acyclic.agda
/usr/share/Agda-stdlib/src/Data/Integer
/usr/share/Agda-stdlib/src/Data/Integer.agda
/usr/share/Agda-stdlib/src/Data/Integer/Base.agda
/usr/share/Agda-stdlib/src/Data/Integer/Coprimality.agda
/usr/share/Agda-stdlib/src/Data/Integer/DivMod.agda
/usr/share/Agda-stdlib/src/Data/Integer/Divisibility
/usr/share/Agda-stdlib/src/Data/Integer/Divisibility.agda
/usr/share/Agda-stdlib/src/Data/Integer/Divisibility/Signed.agda
/usr/share/Agda-stdlib/src/Data/Integer/GCD.agda
/usr/share/Agda-stdlib/src/Data/Integer/Instances.agda
/usr/share/Agda-stdlib/src/Data/Integer/LCM.agda
/usr/share/Agda-stdlib/src/Data/Integer/Literals.agda
/usr/share/Agda-stdlib/src/Data/Integer/Properties.agda
/usr/share/Agda-stdlib/src/Data/Integer/Show.agda
/usr/share/Agda-stdlib/src/Data/Integer/Solver.agda
/usr/share/Agda-stdlib/src/Data/Integer/Tactic
/usr/share/Agda-stdlib/src/Data/Integer/Tactic/RingSolver.agda
/usr/share/Agda-stdlib/src/Data/List
/usr/share/Agda-stdlib/src/Data/List.agda
/usr/share/Agda-stdlib/src/Data/List/All
/usr/share/Agda-stdlib/src/Data/List/All.agda
/usr/share/Agda-stdlib/src/Data/List/All/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Any
/usr/share/Agda-stdlib/src/Data/List/Any.agda
/usr/share/Agda-stdlib/src/Data/List/Any/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Base.agda
/usr/share/Agda-stdlib/src/Data/List/Categorical.agda
/usr/share/Agda-stdlib/src/Data/List/Countdown.agda
/usr/share/Agda-stdlib/src/Data/List/Extrema
/usr/share/Agda-stdlib/src/Data/List/Extrema.agda
/usr/share/Agda-stdlib/src/Data/List/Extrema/Core.agda
/usr/share/Agda-stdlib/src/Data/List/Extrema/Nat.agda
/usr/share/Agda-stdlib/src/Data/List/Fresh
/usr/share/Agda-stdlib/src/Data/List/Fresh.agda
/usr/share/Agda-stdlib/src/Data/List/Fresh/Membership
/usr/share/Agda-stdlib/src/Data/List/Fresh/Membership/Setoid
/usr/share/Agda-stdlib/src/Data/List/Fresh/Membership/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Fresh/Membership/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Fresh/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Fresh/Relation
/usr/share/Agda-stdlib/src/Data/List/Fresh/Relation/Unary
/usr/share/Agda-stdlib/src/Data/List/Fresh/Relation/Unary/All
/usr/share/Agda-stdlib/src/Data/List/Fresh/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Data/List/Fresh/Relation/Unary/All/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Fresh/Relation/Unary/Any
/usr/share/Agda-stdlib/src/Data/List/Fresh/Relation/Unary/Any.agda
/usr/share/Agda-stdlib/src/Data/List/Fresh/Relation/Unary/Any/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Instances.agda
/usr/share/Agda-stdlib/src/Data/List/Kleene
/usr/share/Agda-stdlib/src/Data/List/Kleene.agda
/usr/share/Agda-stdlib/src/Data/List/Kleene/AsList.agda
/usr/share/Agda-stdlib/src/Data/List/Kleene/Base.agda
/usr/share/Agda-stdlib/src/Data/List/Literals.agda
/usr/share/Agda-stdlib/src/Data/List/Membership
/usr/share/Agda-stdlib/src/Data/List/Membership/DecPropositional.agda
/usr/share/Agda-stdlib/src/Data/List/Membership/DecSetoid.agda
/usr/share/Agda-stdlib/src/Data/List/Membership/Propositional
/usr/share/Agda-stdlib/src/Data/List/Membership/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Membership/Propositional/Properties
/usr/share/Agda-stdlib/src/Data/List/Membership/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Membership/Propositional/Properties/Core.agda
/usr/share/Agda-stdlib/src/Data/List/Membership/Propositional/Properties/WithK.agda
/usr/share/Agda-stdlib/src/Data/List/Membership/Setoid
/usr/share/Agda-stdlib/src/Data/List/Membership/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Membership/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/NonEmpty
/usr/share/Agda-stdlib/src/Data/List/NonEmpty.agda
/usr/share/Agda-stdlib/src/Data/List/NonEmpty/Base.agda
/usr/share/Agda-stdlib/src/Data/List/NonEmpty/Categorical.agda
/usr/share/Agda-stdlib/src/Data/List/NonEmpty/Instances.agda
/usr/share/Agda-stdlib/src/Data/List/NonEmpty/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation
/usr/share/Agda-stdlib/src/Data/List/Relation/BagAndSetEquality.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/BagAndSetEquality.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Disjoint
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Disjoint/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Disjoint/Setoid
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Disjoint/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Equality
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Equality/DecPropositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Equality/DecSetoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Equality/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Equality/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Infix
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Infix/Heterogeneous
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Infix/Heterogeneous.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Infix/Heterogeneous/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Infix/Homogeneous
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Infix/Homogeneous/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Lex
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Lex.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Lex/Core.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Lex/NonStrict.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Lex/Strict.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Permutation
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Permutation/Homogeneous.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Permutation/Inductive
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Permutation/Inductive.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Permutation/Inductive/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Permutation/Propositional
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Permutation/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Permutation/Setoid
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Permutation/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Pointwise
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Pointwise.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Pointwise/Base.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Pointwise/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Prefix
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Prefix/Heterogeneous
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Prefix/Heterogeneous.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Prefix/Homogeneous
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Prefix/Homogeneous/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecPropositional
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecPropositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecSetoid
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecSetoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Heterogeneous
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Heterogeneous.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional/Disjoint.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional/Example
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional/Example/UniqueBoundVariables.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Setoid
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Subset
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Subset/Propositional
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Subset/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Subset/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Subset/Setoid
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Subset/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Subset/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Suffix
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Suffix/Heterogeneous
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Suffix/Heterogeneous.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Suffix/Homogeneous
/usr/share/Agda-stdlib/src/Data/List/Relation/Binary/Suffix/Homogeneous/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/DecPropositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/DecSetoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Equality/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Lex
/usr/share/Agda-stdlib/src/Data/List/Relation/Lex/Core.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Lex/NonStrict.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Lex/Strict.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Permutation
/usr/share/Agda-stdlib/src/Data/List/Relation/Permutation/Inductive
/usr/share/Agda-stdlib/src/Data/List/Relation/Permutation/Inductive.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Permutation/Inductive/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Pointwise.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Sublist
/usr/share/Agda-stdlib/src/Data/List/Relation/Sublist/Propositional
/usr/share/Agda-stdlib/src/Data/List/Relation/Sublist/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Sublist/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Subset
/usr/share/Agda-stdlib/src/Data/List/Relation/Subset/Propositional
/usr/share/Agda-stdlib/src/Data/List/Relation/Subset/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Subset/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Subset/Setoid
/usr/share/Agda-stdlib/src/Data/List/Relation/Subset/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Subset/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Appending
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Appending.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Appending/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Appending/Propositional
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Appending/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Appending/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Appending/Setoid
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Appending/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Appending/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Propositional
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Setoid
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/All
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/All/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/AllPairs
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/AllPairs.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/AllPairs/Core.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/AllPairs/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Any
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Any.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Any/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Enumerates
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Enumerates/Setoid
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Enumerates/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Enumerates/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/First
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/First.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/First/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Grouped
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Grouped.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Grouped/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Linked
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Linked.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Linked/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Sorted
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Sorted/TotalOrder
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Sorted/TotalOrder.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/DecPropositional
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/DecPropositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/DecPropositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/DecSetoid
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/DecSetoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/DecSetoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/Propositional
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/Propositional.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/Setoid
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/Setoid.agda
/usr/share/Agda-stdlib/src/Data/List/Relation/Unary/Unique/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/List/Reverse.agda
/usr/share/Agda-stdlib/src/Data/List/Solver.agda
/usr/share/Agda-stdlib/src/Data/List/Sort
/usr/share/Agda-stdlib/src/Data/List/Sort.agda
/usr/share/Agda-stdlib/src/Data/List/Sort/Base.agda
/usr/share/Agda-stdlib/src/Data/List/Sort/MergeSort.agda
/usr/share/Agda-stdlib/src/Data/List/Zipper
/usr/share/Agda-stdlib/src/Data/List/Zipper.agda
/usr/share/Agda-stdlib/src/Data/List/Zipper/Properties.agda
/usr/share/Agda-stdlib/src/Data/Maybe
/usr/share/Agda-stdlib/src/Data/Maybe.agda
/usr/share/Agda-stdlib/src/Data/Maybe/Base.agda
/usr/share/Agda-stdlib/src/Data/Maybe/Categorical.agda
/usr/share/Agda-stdlib/src/Data/Maybe/Instances.agda
/usr/share/Agda-stdlib/src/Data/Maybe/Properties.agda
/usr/share/Agda-stdlib/src/Data/Maybe/Relation
/usr/share/Agda-stdlib/src/Data/Maybe/Relation/Binary
/usr/share/Agda-stdlib/src/Data/Maybe/Relation/Binary/Connected.agda
/usr/share/Agda-stdlib/src/Data/Maybe/Relation/Binary/Pointwise.agda
/usr/share/Agda-stdlib/src/Data/Maybe/Relation/Unary
/usr/share/Agda-stdlib/src/Data/Maybe/Relation/Unary/All
/usr/share/Agda-stdlib/src/Data/Maybe/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Data/Maybe/Relation/Unary/All/Properties.agda
/usr/share/Agda-stdlib/src/Data/Maybe/Relation/Unary/Any.agda
/usr/share/Agda-stdlib/src/Data/Nat
/usr/share/Agda-stdlib/src/Data/Nat.agda
/usr/share/Agda-stdlib/src/Data/Nat/Base.agda
/usr/share/Agda-stdlib/src/Data/Nat/Binary
/usr/share/Agda-stdlib/src/Data/Nat/Binary.agda
/usr/share/Agda-stdlib/src/Data/Nat/Binary/Base.agda
/usr/share/Agda-stdlib/src/Data/Nat/Binary/Induction.agda
/usr/share/Agda-stdlib/src/Data/Nat/Binary/Instances.agda
/usr/share/Agda-stdlib/src/Data/Nat/Binary/Properties.agda
/usr/share/Agda-stdlib/src/Data/Nat/Binary/Subtraction.agda
/usr/share/Agda-stdlib/src/Data/Nat/Coprimality.agda
/usr/share/Agda-stdlib/src/Data/Nat/DivMod
/usr/share/Agda-stdlib/src/Data/Nat/DivMod.agda
/usr/share/Agda-stdlib/src/Data/Nat/DivMod/Core.agda
/usr/share/Agda-stdlib/src/Data/Nat/DivMod/WithK.agda
/usr/share/Agda-stdlib/src/Data/Nat/Divisibility
/usr/share/Agda-stdlib/src/Data/Nat/Divisibility.agda
/usr/share/Agda-stdlib/src/Data/Nat/Divisibility/Core.agda
/usr/share/Agda-stdlib/src/Data/Nat/GCD
/usr/share/Agda-stdlib/src/Data/Nat/GCD.agda
/usr/share/Agda-stdlib/src/Data/Nat/GCD/Lemmas.agda
/usr/share/Agda-stdlib/src/Data/Nat/GeneralisedArithmetic.agda
/usr/share/Agda-stdlib/src/Data/Nat/Induction.agda
/usr/share/Agda-stdlib/src/Data/Nat/InfinitelyOften.agda
/usr/share/Agda-stdlib/src/Data/Nat/Instances.agda
/usr/share/Agda-stdlib/src/Data/Nat/LCM.agda
/usr/share/Agda-stdlib/src/Data/Nat/Literals.agda
/usr/share/Agda-stdlib/src/Data/Nat/Primality.agda
/usr/share/Agda-stdlib/src/Data/Nat/Properties
/usr/share/Agda-stdlib/src/Data/Nat/Properties.agda
/usr/share/Agda-stdlib/src/Data/Nat/Properties/Core.agda
/usr/share/Agda-stdlib/src/Data/Nat/PseudoRandom
/usr/share/Agda-stdlib/src/Data/Nat/PseudoRandom/LCG
/usr/share/Agda-stdlib/src/Data/Nat/PseudoRandom/LCG.agda
/usr/share/Agda-stdlib/src/Data/Nat/PseudoRandom/LCG/Unsafe.agda
/usr/share/Agda-stdlib/src/Data/Nat/Reflection.agda
/usr/share/Agda-stdlib/src/Data/Nat/Show
/usr/share/Agda-stdlib/src/Data/Nat/Show.agda
/usr/share/Agda-stdlib/src/Data/Nat/Show/Properties.agda
/usr/share/Agda-stdlib/src/Data/Nat/Solver.agda
/usr/share/Agda-stdlib/src/Data/Nat/Tactic
/usr/share/Agda-stdlib/src/Data/Nat/Tactic/RingSolver.agda
/usr/share/Agda-stdlib/src/Data/Nat/WithK.agda
/usr/share/Agda-stdlib/src/Data/Plus.agda
/usr/share/Agda-stdlib/src/Data/Product
/usr/share/Agda-stdlib/src/Data/Product.agda
/usr/share/Agda-stdlib/src/Data/Product/Algebra.agda
/usr/share/Agda-stdlib/src/Data/Product/Categorical
/usr/share/Agda-stdlib/src/Data/Product/Categorical/Examples.agda
/usr/share/Agda-stdlib/src/Data/Product/Categorical/Left
/usr/share/Agda-stdlib/src/Data/Product/Categorical/Left.agda
/usr/share/Agda-stdlib/src/Data/Product/Categorical/Left/Base.agda
/usr/share/Agda-stdlib/src/Data/Product/Categorical/Right
/usr/share/Agda-stdlib/src/Data/Product/Categorical/Right.agda
/usr/share/Agda-stdlib/src/Data/Product/Categorical/Right/Base.agda
/usr/share/Agda-stdlib/src/Data/Product/Function
/usr/share/Agda-stdlib/src/Data/Product/Function/Dependent
/usr/share/Agda-stdlib/src/Data/Product/Function/Dependent/Propositional
/usr/share/Agda-stdlib/src/Data/Product/Function/Dependent/Propositional.agda
/usr/share/Agda-stdlib/src/Data/Product/Function/Dependent/Propositional/WithK.agda
/usr/share/Agda-stdlib/src/Data/Product/Function/Dependent/Setoid
/usr/share/Agda-stdlib/src/Data/Product/Function/Dependent/Setoid.agda
/usr/share/Agda-stdlib/src/Data/Product/Function/Dependent/Setoid/WithK.agda
/usr/share/Agda-stdlib/src/Data/Product/Function/NonDependent
/usr/share/Agda-stdlib/src/Data/Product/Function/NonDependent/Propositional.agda
/usr/share/Agda-stdlib/src/Data/Product/Function/NonDependent/Setoid.agda
/usr/share/Agda-stdlib/src/Data/Product/Instances.agda
/usr/share/Agda-stdlib/src/Data/Product/N-ary
/usr/share/Agda-stdlib/src/Data/Product/N-ary.agda
/usr/share/Agda-stdlib/src/Data/Product/N-ary/Categorical.agda
/usr/share/Agda-stdlib/src/Data/Product/N-ary/Properties.agda
/usr/share/Agda-stdlib/src/Data/Product/Nary
/usr/share/Agda-stdlib/src/Data/Product/Nary/NonDependent.agda
/usr/share/Agda-stdlib/src/Data/Product/Properties
/usr/share/Agda-stdlib/src/Data/Product/Properties.agda
/usr/share/Agda-stdlib/src/Data/Product/Properties/WithK.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation
/usr/share/Agda-stdlib/src/Data/Product/Relation/Binary
/usr/share/Agda-stdlib/src/Data/Product/Relation/Binary/Lex
/usr/share/Agda-stdlib/src/Data/Product/Relation/Binary/Lex/NonStrict.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Binary/Lex/Strict.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Binary/Pointwise
/usr/share/Agda-stdlib/src/Data/Product/Relation/Binary/Pointwise/Dependent
/usr/share/Agda-stdlib/src/Data/Product/Relation/Binary/Pointwise/Dependent.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Binary/Pointwise/NonDependent.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Lex
/usr/share/Agda-stdlib/src/Data/Product/Relation/Lex/NonStrict.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Lex/Strict.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Pointwise
/usr/share/Agda-stdlib/src/Data/Product/Relation/Pointwise/Dependent.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Pointwise/NonDependent.agda
/usr/share/Agda-stdlib/src/Data/Product/Relation/Unary
/usr/share/Agda-stdlib/src/Data/Product/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Data/Rational
/usr/share/Agda-stdlib/src/Data/Rational.agda
/usr/share/Agda-stdlib/src/Data/Rational/Base.agda
/usr/share/Agda-stdlib/src/Data/Rational/Instances.agda
/usr/share/Agda-stdlib/src/Data/Rational/Literals.agda
/usr/share/Agda-stdlib/src/Data/Rational/Properties.agda
/usr/share/Agda-stdlib/src/Data/Rational/Show.agda
/usr/share/Agda-stdlib/src/Data/Rational/Solver.agda
/usr/share/Agda-stdlib/src/Data/Rational/Unnormalised
/usr/share/Agda-stdlib/src/Data/Rational/Unnormalised.agda
/usr/share/Agda-stdlib/src/Data/Rational/Unnormalised/Base.agda
/usr/share/Agda-stdlib/src/Data/Rational/Unnormalised/Properties.agda
/usr/share/Agda-stdlib/src/Data/Rational/Unnormalised/Solver.agda
/usr/share/Agda-stdlib/src/Data/Record.agda
/usr/share/Agda-stdlib/src/Data/Refinement
/usr/share/Agda-stdlib/src/Data/Refinement.agda
/usr/share/Agda-stdlib/src/Data/Refinement/Relation
/usr/share/Agda-stdlib/src/Data/Refinement/Relation/Unary
/usr/share/Agda-stdlib/src/Data/Refinement/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Data/ReflexiveClosure.agda
/usr/share/Agda-stdlib/src/Data/Sign
/usr/share/Agda-stdlib/src/Data/Sign.agda
/usr/share/Agda-stdlib/src/Data/Sign/Base.agda
/usr/share/Agda-stdlib/src/Data/Sign/Instances.agda
/usr/share/Agda-stdlib/src/Data/Sign/Properties.agda
/usr/share/Agda-stdlib/src/Data/Star
/usr/share/Agda-stdlib/src/Data/Star.agda
/usr/share/Agda-stdlib/src/Data/Star/BoundedVec.agda
/usr/share/Agda-stdlib/src/Data/Star/Decoration.agda
/usr/share/Agda-stdlib/src/Data/Star/Environment.agda
/usr/share/Agda-stdlib/src/Data/Star/Fin.agda
/usr/share/Agda-stdlib/src/Data/Star/List.agda
/usr/share/Agda-stdlib/src/Data/Star/Nat.agda
/usr/share/Agda-stdlib/src/Data/Star/Pointer.agda
/usr/share/Agda-stdlib/src/Data/Star/Properties.agda
/usr/share/Agda-stdlib/src/Data/Star/Vec.agda
/usr/share/Agda-stdlib/src/Data/String
/usr/share/Agda-stdlib/src/Data/String.agda
/usr/share/Agda-stdlib/src/Data/String/Base.agda
/usr/share/Agda-stdlib/src/Data/String/Instances.agda
/usr/share/Agda-stdlib/src/Data/String/Literals.agda
/usr/share/Agda-stdlib/src/Data/String/Properties.agda
/usr/share/Agda-stdlib/src/Data/String/Unsafe.agda
/usr/share/Agda-stdlib/src/Data/Sum
/usr/share/Agda-stdlib/src/Data/Sum.agda
/usr/share/Agda-stdlib/src/Data/Sum/Algebra.agda
/usr/share/Agda-stdlib/src/Data/Sum/Base.agda
/usr/share/Agda-stdlib/src/Data/Sum/Categorical
/usr/share/Agda-stdlib/src/Data/Sum/Categorical/Examples.agda
/usr/share/Agda-stdlib/src/Data/Sum/Categorical/Left.agda
/usr/share/Agda-stdlib/src/Data/Sum/Categorical/Right.agda
/usr/share/Agda-stdlib/src/Data/Sum/Function
/usr/share/Agda-stdlib/src/Data/Sum/Function/Propositional.agda
/usr/share/Agda-stdlib/src/Data/Sum/Function/Setoid.agda
/usr/share/Agda-stdlib/src/Data/Sum/Instances.agda
/usr/share/Agda-stdlib/src/Data/Sum/Properties.agda
/usr/share/Agda-stdlib/src/Data/Sum/Relation
/usr/share/Agda-stdlib/src/Data/Sum/Relation/Binary
/usr/share/Agda-stdlib/src/Data/Sum/Relation/Binary/LeftOrder.agda
/usr/share/Agda-stdlib/src/Data/Sum/Relation/Binary/Pointwise.agda
/usr/share/Agda-stdlib/src/Data/Sum/Relation/LeftOrder.agda
/usr/share/Agda-stdlib/src/Data/Sum/Relation/Pointwise.agda
/usr/share/Agda-stdlib/src/Data/Sum/Relation/Unary
/usr/share/Agda-stdlib/src/Data/Sum/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Data/Table
/usr/share/Agda-stdlib/src/Data/Table.agda
/usr/share/Agda-stdlib/src/Data/Table/Base.agda
/usr/share/Agda-stdlib/src/Data/Table/Properties.agda
/usr/share/Agda-stdlib/src/Data/Table/Relation
/usr/share/Agda-stdlib/src/Data/Table/Relation/Binary
/usr/share/Agda-stdlib/src/Data/Table/Relation/Binary/Equality.agda
/usr/share/Agda-stdlib/src/Data/Table/Relation/Equality.agda
/usr/share/Agda-stdlib/src/Data/These
/usr/share/Agda-stdlib/src/Data/These.agda
/usr/share/Agda-stdlib/src/Data/These/Base.agda
/usr/share/Agda-stdlib/src/Data/These/Categorical
/usr/share/Agda-stdlib/src/Data/These/Categorical/Left
/usr/share/Agda-stdlib/src/Data/These/Categorical/Left.agda
/usr/share/Agda-stdlib/src/Data/These/Categorical/Left/Base.agda
/usr/share/Agda-stdlib/src/Data/These/Categorical/Right
/usr/share/Agda-stdlib/src/Data/These/Categorical/Right.agda
/usr/share/Agda-stdlib/src/Data/These/Categorical/Right/Base.agda
/usr/share/Agda-stdlib/src/Data/These/Instances.agda
/usr/share/Agda-stdlib/src/Data/These/Properties.agda
/usr/share/Agda-stdlib/src/Data/Tree
/usr/share/Agda-stdlib/src/Data/Tree/AVL
/usr/share/Agda-stdlib/src/Data/Tree/AVL.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Height.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Indexed
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Indexed.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Indexed/Relation
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Indexed/Relation/Unary
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Indexed/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Indexed/Relation/Unary/Any
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Indexed/Relation/Unary/Any.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Indexed/Relation/Unary/Any/Properties.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Indexed/WithK.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/IndexedMap.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Key.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Map
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Map.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Map/Relation
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Map/Relation/Unary
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Map/Relation/Unary/Any.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/NonEmpty
/usr/share/Agda-stdlib/src/Data/Tree/AVL/NonEmpty.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/NonEmpty/Propositional.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Relation
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Relation/Unary
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Relation/Unary/Any.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Sets.agda
/usr/share/Agda-stdlib/src/Data/Tree/AVL/Value.agda
/usr/share/Agda-stdlib/src/Data/Tree/Binary
/usr/share/Agda-stdlib/src/Data/Tree/Binary.agda
/usr/share/Agda-stdlib/src/Data/Tree/Binary/Properties.agda
/usr/share/Agda-stdlib/src/Data/Tree/Binary/Relation
/usr/share/Agda-stdlib/src/Data/Tree/Binary/Relation/Unary
/usr/share/Agda-stdlib/src/Data/Tree/Binary/Relation/Unary/All
/usr/share/Agda-stdlib/src/Data/Tree/Binary/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Data/Tree/Binary/Relation/Unary/All/Properties.agda
/usr/share/Agda-stdlib/src/Data/Tree/Binary/Show.agda
/usr/share/Agda-stdlib/src/Data/Tree/Binary/Zipper
/usr/share/Agda-stdlib/src/Data/Tree/Binary/Zipper.agda
/usr/share/Agda-stdlib/src/Data/Tree/Binary/Zipper/Properties.agda
/usr/share/Agda-stdlib/src/Data/Tree/Rose
/usr/share/Agda-stdlib/src/Data/Tree/Rose.agda
/usr/share/Agda-stdlib/src/Data/Tree/Rose/Properties.agda
/usr/share/Agda-stdlib/src/Data/Tree/Rose/Show.agda
/usr/share/Agda-stdlib/src/Data/Trie
/usr/share/Agda-stdlib/src/Data/Trie.agda
/usr/share/Agda-stdlib/src/Data/Trie/NonEmpty.agda
/usr/share/Agda-stdlib/src/Data/Unit
/usr/share/Agda-stdlib/src/Data/Unit.agda
/usr/share/Agda-stdlib/src/Data/Unit/Base.agda
/usr/share/Agda-stdlib/src/Data/Unit/Instances.agda
/usr/share/Agda-stdlib/src/Data/Unit/NonEta.agda
/usr/share/Agda-stdlib/src/Data/Unit/Polymorphic
/usr/share/Agda-stdlib/src/Data/Unit/Polymorphic.agda
/usr/share/Agda-stdlib/src/Data/Unit/Polymorphic/Base.agda
/usr/share/Agda-stdlib/src/Data/Unit/Polymorphic/Instances.agda
/usr/share/Agda-stdlib/src/Data/Unit/Polymorphic/Properties.agda
/usr/share/Agda-stdlib/src/Data/Unit/Properties.agda
/usr/share/Agda-stdlib/src/Data/Universe
/usr/share/Agda-stdlib/src/Data/Universe.agda
/usr/share/Agda-stdlib/src/Data/Universe/Indexed.agda
/usr/share/Agda-stdlib/src/Data/Vec
/usr/share/Agda-stdlib/src/Data/Vec.agda
/usr/share/Agda-stdlib/src/Data/Vec/All
/usr/share/Agda-stdlib/src/Data/Vec/All.agda
/usr/share/Agda-stdlib/src/Data/Vec/All/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Any.agda
/usr/share/Agda-stdlib/src/Data/Vec/Base.agda
/usr/share/Agda-stdlib/src/Data/Vec/Bounded
/usr/share/Agda-stdlib/src/Data/Vec/Bounded.agda
/usr/share/Agda-stdlib/src/Data/Vec/Bounded/Base.agda
/usr/share/Agda-stdlib/src/Data/Vec/Categorical.agda
/usr/share/Agda-stdlib/src/Data/Vec/Functional
/usr/share/Agda-stdlib/src/Data/Vec/Functional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation/Binary
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Equality
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Equality/Setoid.agda
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Pointwise
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Pointwise.agda
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation/Binary/Pointwise/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation/Unary
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation/Unary/All
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation/Unary/All/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Functional/Relation/Unary/Any.agda
/usr/share/Agda-stdlib/src/Data/Vec/Instances.agda
/usr/share/Agda-stdlib/src/Data/Vec/Membership
/usr/share/Agda-stdlib/src/Data/Vec/Membership/DecPropositional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Membership/DecSetoid.agda
/usr/share/Agda-stdlib/src/Data/Vec/Membership/Propositional
/usr/share/Agda-stdlib/src/Data/Vec/Membership/Propositional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Membership/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Membership/Setoid.agda
/usr/share/Agda-stdlib/src/Data/Vec/N-ary.agda
/usr/share/Agda-stdlib/src/Data/Vec/Properties
/usr/share/Agda-stdlib/src/Data/Vec/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Properties/WithK.agda
/usr/share/Agda-stdlib/src/Data/Vec/Recursive
/usr/share/Agda-stdlib/src/Data/Vec/Recursive.agda
/usr/share/Agda-stdlib/src/Data/Vec/Recursive/Categorical.agda
/usr/share/Agda-stdlib/src/Data/Vec/Recursive/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Equality
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Equality/DecPropositional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Equality/DecSetoid.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Equality/Propositional
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Equality/Propositional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Equality/Setoid.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Lex
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Lex/Core.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Lex/NonStrict.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Lex/Strict.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Pointwise
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Pointwise/Extensional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Binary/Pointwise/Inductive.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/DecPropositional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/DecSetoid.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/Propositional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Equality/Setoid.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Pointwise
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Pointwise/Extensional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Pointwise/Inductive.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/All
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/All.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/All/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/AllPairs
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/AllPairs.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/AllPairs/Core.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/AllPairs/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/Any
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/Any.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/Any/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/Unique
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Propositional
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Propositional.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Propositional/Properties.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Setoid
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Setoid.agda
/usr/share/Agda-stdlib/src/Data/Vec/Relation/Unary/Unique/Setoid/Properties.agda
/usr/share/Agda-stdlib/src/Data/W
/usr/share/Agda-stdlib/src/Data/W.agda
/usr/share/Agda-stdlib/src/Data/W/Indexed.agda
/usr/share/Agda-stdlib/src/Data/W/Sized.agda
/usr/share/Agda-stdlib/src/Data/W/WithK.agda
/usr/share/Agda-stdlib/src/Data/Word
/usr/share/Agda-stdlib/src/Data/Word.agda
/usr/share/Agda-stdlib/src/Data/Word/Base.agda
/usr/share/Agda-stdlib/src/Data/Word/Instances.agda
/usr/share/Agda-stdlib/src/Data/Word/Properties.agda
/usr/share/Agda-stdlib/src/Data/Wrap.agda
/usr/share/Agda-stdlib/src/Debug
/usr/share/Agda-stdlib/src/Debug/Trace.agda
/usr/share/Agda-stdlib/src/Foreign
/usr/share/Agda-stdlib/src/Foreign/Haskell
/usr/share/Agda-stdlib/src/Foreign/Haskell.agda
/usr/share/Agda-stdlib/src/Foreign/Haskell/Coerce.agda
/usr/share/Agda-stdlib/src/Foreign/Haskell/Either.agda
/usr/share/Agda-stdlib/src/Foreign/Haskell/Maybe.agda
/usr/share/Agda-stdlib/src/Foreign/Haskell/Pair.agda
/usr/share/Agda-stdlib/src/Function
/usr/share/Agda-stdlib/src/Function.agda
/usr/share/Agda-stdlib/src/Function/Base.agda
/usr/share/Agda-stdlib/src/Function/Bijection.agda
/usr/share/Agda-stdlib/src/Function/Bundles.agda
/usr/share/Agda-stdlib/src/Function/Construct
/usr/share/Agda-stdlib/src/Function/Construct/Composition.agda
/usr/share/Agda-stdlib/src/Function/Construct/Identity.agda
/usr/share/Agda-stdlib/src/Function/Construct/Symmetry.agda
/usr/share/Agda-stdlib/src/Function/Core.agda
/usr/share/Agda-stdlib/src/Function/Definitions
/usr/share/Agda-stdlib/src/Function/Definitions.agda
/usr/share/Agda-stdlib/src/Function/Definitions/Core1.agda
/usr/share/Agda-stdlib/src/Function/Definitions/Core2.agda
/usr/share/Agda-stdlib/src/Function/Endomorphism
/usr/share/Agda-stdlib/src/Function/Endomorphism/Propositional.agda
/usr/share/Agda-stdlib/src/Function/Endomorphism/Setoid.agda
/usr/share/Agda-stdlib/src/Function/Equality.agda
/usr/share/Agda-stdlib/src/Function/Equivalence.agda
/usr/share/Agda-stdlib/src/Function/HalfAdjointEquivalence.agda
/usr/share/Agda-stdlib/src/Function/Identity
/usr/share/Agda-stdlib/src/Function/Identity/Categorical.agda
/usr/share/Agda-stdlib/src/Function/Identity/Instances.agda
/usr/share/Agda-stdlib/src/Function/Injection.agda
/usr/share/Agda-stdlib/src/Function/Inverse.agda
/usr/share/Agda-stdlib/src/Function/LeftInverse.agda
/usr/share/Agda-stdlib/src/Function/Metric
/usr/share/Agda-stdlib/src/Function/Metric.agda
/usr/share/Agda-stdlib/src/Function/Metric/Bundles.agda
/usr/share/Agda-stdlib/src/Function/Metric/Core.agda
/usr/share/Agda-stdlib/src/Function/Metric/Definitions.agda
/usr/share/Agda-stdlib/src/Function/Metric/Nat
/usr/share/Agda-stdlib/src/Function/Metric/Nat.agda
/usr/share/Agda-stdlib/src/Function/Metric/Nat/Bundles.agda
/usr/share/Agda-stdlib/src/Function/Metric/Nat/Core.agda
/usr/share/Agda-stdlib/src/Function/Metric/Nat/Definitions.agda
/usr/share/Agda-stdlib/src/Function/Metric/Nat/Structures.agda
/usr/share/Agda-stdlib/src/Function/Metric/Rational
/usr/share/Agda-stdlib/src/Function/Metric/Rational.agda
/usr/share/Agda-stdlib/src/Function/Metric/Rational/Bundles.agda
/usr/share/Agda-stdlib/src/Function/Metric/Rational/Core.agda
/usr/share/Agda-stdlib/src/Function/Metric/Rational/Definitions.agda
/usr/share/Agda-stdlib/src/Function/Metric/Rational/Structures.agda
/usr/share/Agda-stdlib/src/Function/Metric/Structures.agda
/usr/share/Agda-stdlib/src/Function/Nary
/usr/share/Agda-stdlib/src/Function/Nary/NonDependent
/usr/share/Agda-stdlib/src/Function/Nary/NonDependent.agda
/usr/share/Agda-stdlib/src/Function/Nary/NonDependent/Base.agda
/usr/share/Agda-stdlib/src/Function/Properties
/usr/share/Agda-stdlib/src/Function/Properties.agda
/usr/share/Agda-stdlib/src/Function/Properties/Equivalence.agda
/usr/share/Agda-stdlib/src/Function/Properties/Inverse.agda
/usr/share/Agda-stdlib/src/Function/Reasoning.agda
/usr/share/Agda-stdlib/src/Function/Related
/usr/share/Agda-stdlib/src/Function/Related.agda
/usr/share/Agda-stdlib/src/Function/Related/TypeIsomorphisms
/usr/share/Agda-stdlib/src/Function/Related/TypeIsomorphisms.agda
/usr/share/Agda-stdlib/src/Function/Related/TypeIsomorphisms/Solver.agda
/usr/share/Agda-stdlib/src/Function/Structures.agda
/usr/share/Agda-stdlib/src/Function/Surjection.agda
/usr/share/Agda-stdlib/src/IO
/usr/share/Agda-stdlib/src/IO.agda
/usr/share/Agda-stdlib/src/IO/Base.agda
/usr/share/Agda-stdlib/src/IO/Finite.agda
/usr/share/Agda-stdlib/src/IO/Infinite.agda
/usr/share/Agda-stdlib/src/IO/Primitive
/usr/share/Agda-stdlib/src/IO/Primitive.agda
/usr/share/Agda-stdlib/src/IO/Primitive/Finite.agda
/usr/share/Agda-stdlib/src/IO/Primitive/Infinite.agda
/usr/share/Agda-stdlib/src/Induction
/usr/share/Agda-stdlib/src/Induction.agda
/usr/share/Agda-stdlib/src/Induction/Lexicographic.agda
/usr/share/Agda-stdlib/src/Induction/Nat.agda
/usr/share/Agda-stdlib/src/Induction/WellFounded.agda
/usr/share/Agda-stdlib/src/Level
/usr/share/Agda-stdlib/src/Level.agda
/usr/share/Agda-stdlib/src/Level/Literals.agda
/usr/share/Agda-stdlib/src/Record.agda
/usr/share/Agda-stdlib/src/Reflection
/usr/share/Agda-stdlib/src/Reflection.agda
/usr/share/Agda-stdlib/src/Reflection/Abstraction.agda
/usr/share/Agda-stdlib/src/Reflection/Annotated
/usr/share/Agda-stdlib/src/Reflection/Annotated.agda
/usr/share/Agda-stdlib/src/Reflection/Annotated/Free.agda
/usr/share/Agda-stdlib/src/Reflection/Argument
/usr/share/Agda-stdlib/src/Reflection/Argument.agda
/usr/share/Agda-stdlib/src/Reflection/Argument/Information.agda
/usr/share/Agda-stdlib/src/Reflection/Argument/Modality.agda
/usr/share/Agda-stdlib/src/Reflection/Argument/Quantity.agda
/usr/share/Agda-stdlib/src/Reflection/Argument/Relevance.agda
/usr/share/Agda-stdlib/src/Reflection/Argument/Visibility.agda
/usr/share/Agda-stdlib/src/Reflection/DeBruijn.agda
/usr/share/Agda-stdlib/src/Reflection/Definition.agda
/usr/share/Agda-stdlib/src/Reflection/External.agda
/usr/share/Agda-stdlib/src/Reflection/Instances.agda
/usr/share/Agda-stdlib/src/Reflection/Literal.agda
/usr/share/Agda-stdlib/src/Reflection/Meta.agda
/usr/share/Agda-stdlib/src/Reflection/Name.agda
/usr/share/Agda-stdlib/src/Reflection/Pattern.agda
/usr/share/Agda-stdlib/src/Reflection/Show.agda
/usr/share/Agda-stdlib/src/Reflection/Term.agda
/usr/share/Agda-stdlib/src/Reflection/Traversal.agda
/usr/share/Agda-stdlib/src/Reflection/TypeChecking
/usr/share/Agda-stdlib/src/Reflection/TypeChecking/Format.agda
/usr/share/Agda-stdlib/src/Reflection/TypeChecking/Monad
/usr/share/Agda-stdlib/src/Reflection/TypeChecking/Monad.agda
/usr/share/Agda-stdlib/src/Reflection/TypeChecking/Monad/Categorical.agda
/usr/share/Agda-stdlib/src/Reflection/TypeChecking/Monad/Instances.agda
/usr/share/Agda-stdlib/src/Reflection/TypeChecking/Monad/Syntax.agda
/usr/share/Agda-stdlib/src/Reflection/TypeChecking/MonadSyntax.agda
/usr/share/Agda-stdlib/src/Reflection/Universe.agda
/usr/share/Agda-stdlib/src/Relation
/usr/share/Agda-stdlib/src/Relation/Binary
/usr/share/Agda-stdlib/src/Relation/Binary.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Bundles.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Consequences.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Extrema
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Extrema/Equality.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Extrema/NonStrict.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Extrema/Strict.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Infimum
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Infimum/Equality.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Infimum/NonStrict.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Infimum/Strict.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Point
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Point/Equality.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Supremum
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Supremum/Equality.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Supremum/NonStrict.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Add/Supremum/Strict.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Always.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Equivalence
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Equivalence.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Equivalence/Properties.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Reflexive
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Reflexive.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Reflexive/Properties
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Reflexive/Properties.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/ReflexiveTransitive
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Symmetric.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/SymmetricTransitive.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Transitive
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Transitive.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Closure/Transitive/WithK.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Composition.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Constant
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Constant.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Constant/Core.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Converse.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Flip.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/FromPred.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/FromRel.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Intersection.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/NaturalOrder
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/NaturalOrder/Left.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/NaturalOrder/Right.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Never.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/NonStrictToStrict.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/On.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/StrictToNonStrict.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Subst
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Subst/Equality.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Construct/Union.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Core.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Definitions.agda
/usr/share/Agda-stdlib/src/Relation/Binary/EqReasoning.agda
/usr/share/Agda-stdlib/src/Relation/Binary/EquivalenceClosure.agda
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality.agda
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Core.agda
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Quotients
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Quotients.agda
/usr/share/Agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Bundles.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Construct
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Core.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Definitions.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Heterogeneous/Structures.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Homogeneous
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Homogeneous.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Bundles.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Construct
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Construct/At.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Core.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Definitions.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Indexed/Homogeneous/Structures.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Lattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Morphism
/usr/share/Agda-stdlib/src/Relation/Binary/Morphism.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Morphism/Bundles.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Morphism/Construct
/usr/share/Agda-stdlib/src/Relation/Binary/Morphism/Construct/Composition.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Morphism/Construct/Constant.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Morphism/Construct/Identity.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Morphism/Definitions.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Morphism/OrderMonomorphism.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Morphism/RelMonomorphism.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Morphism/Structures.agda
/usr/share/Agda-stdlib/src/Relation/Binary/OrderMorphism.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PartialOrderReasoning.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PreorderReasoning.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/BoundedJoinSemilattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/BoundedLattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/BoundedMeetSemilattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/DecTotalOrder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/DistributiveLattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/HeytingAlgebra.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/JoinSemilattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/Lattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/MeetSemilattice.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/Poset.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/Preorder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/Setoid.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/StrictPartialOrder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/StrictTotalOrder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Properties/TotalOrder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality/Algebra.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality/Core.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality/Properties.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality/TrustMe.agda
/usr/share/Agda-stdlib/src/Relation/Binary/PropositionalEquality/WithK.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning/Base
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning/Base/Double.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning/Base/Partial.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning/Base/Single.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning/Base/Triple.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning/MultiSetoid.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning/PartialOrder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning/PartialSetoid.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning/Preorder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning/Setoid.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reasoning/StrictPartialOrder.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Reflection.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Rewriting.agda
/usr/share/Agda-stdlib/src/Relation/Binary/SetoidReasoning.agda
/usr/share/Agda-stdlib/src/Relation/Binary/StrictPartialOrderReasoning.agda
/usr/share/Agda-stdlib/src/Relation/Binary/Structures.agda
/usr/share/Agda-stdlib/src/Relation/Binary/SymmetricClosure.agda
/usr/share/Agda-stdlib/src/Relation/Binary/TypeClasses.agda
/usr/share/Agda-stdlib/src/Relation/Nary.agda
/usr/share/Agda-stdlib/src/Relation/Nullary
/usr/share/Agda-stdlib/src/Relation/Nullary.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Construct
/usr/share/Agda-stdlib/src/Relation/Nullary/Construct/Add
/usr/share/Agda-stdlib/src/Relation/Nullary/Construct/Add/Extrema.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Construct/Add/Infimum.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Construct/Add/Point.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Construct/Add/Supremum.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Decidable
/usr/share/Agda-stdlib/src/Relation/Nullary/Decidable.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Decidable/Core.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Implication.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Indexed
/usr/share/Agda-stdlib/src/Relation/Nullary/Indexed.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Indexed/Negation.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Negation
/usr/share/Agda-stdlib/src/Relation/Nullary/Negation.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Negation/Core.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Product.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Reflects.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Sum.agda
/usr/share/Agda-stdlib/src/Relation/Nullary/Universe.agda
/usr/share/Agda-stdlib/src/Relation/Unary
/usr/share/Agda-stdlib/src/Relation/Unary.agda
/usr/share/Agda-stdlib/src/Relation/Unary/Closure
/usr/share/Agda-stdlib/src/Relation/Unary/Closure/Base.agda
/usr/share/Agda-stdlib/src/Relation/Unary/Closure/Preorder.agda
/usr/share/Agda-stdlib/src/Relation/Unary/Closure/StrictPartialOrder.agda
/usr/share/Agda-stdlib/src/Relation/Unary/Consequences.agda
/usr/share/Agda-stdlib/src/Relation/Unary/Indexed.agda
/usr/share/Agda-stdlib/src/Relation/Unary/PredicateTransformer.agda
/usr/share/Agda-stdlib/src/Relation/Unary/Properties.agda
/usr/share/Agda-stdlib/src/Relation/Unary/Sized.agda
/usr/share/Agda-stdlib/src/Size.agda
/usr/share/Agda-stdlib/src/Strict.agda
/usr/share/Agda-stdlib/src/System
/usr/share/Agda-stdlib/src/System/Environment
/usr/share/Agda-stdlib/src/System/Environment.agda
/usr/share/Agda-stdlib/src/System/Environment/Primitive.agda
/usr/share/Agda-stdlib/src/System/Exit
/usr/share/Agda-stdlib/src/System/Exit.agda
/usr/share/Agda-stdlib/src/System/Exit/Primitive.agda
/usr/share/Agda-stdlib/src/Tactic
/usr/share/Agda-stdlib/src/Tactic/MonoidSolver.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver
/usr/share/Agda-stdlib/src/Tactic/RingSolver.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/AlmostCommutativeRing.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Expression.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/NatSet.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Base.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Addition.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Constants.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Exponentiation.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Lemmas.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Multiplication.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Negation.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Variables.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Parameters.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Reasoning.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/Polynomial/Semantics.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/Core/ReflectionHelp.agda
/usr/share/Agda-stdlib/src/Tactic/RingSolver/NonReflective.agda
/usr/share/Agda-stdlib/src/Text
/usr/share/Agda-stdlib/src/Text/Format
/usr/share/Agda-stdlib/src/Text/Format.agda
/usr/share/Agda-stdlib/src/Text/Format/Generic.agda
/usr/share/Agda-stdlib/src/Text/Pretty
/usr/share/Agda-stdlib/src/Text/Pretty.agda
/usr/share/Agda-stdlib/src/Text/Pretty/Core.agda
/usr/share/Agda-stdlib/src/Text/Printf
/usr/share/Agda-stdlib/src/Text/Printf.agda
/usr/share/Agda-stdlib/src/Text/Printf/Generic.agda
/usr/share/Agda-stdlib/src/Text/Regex
/usr/share/Agda-stdlib/src/Text/Regex.agda
/usr/share/Agda-stdlib/src/Text/Regex/Base.agda
/usr/share/Agda-stdlib/src/Text/Regex/Derivative
/usr/share/Agda-stdlib/src/Text/Regex/Derivative/Brzozowski.agda
/usr/share/Agda-stdlib/src/Text/Regex/Properties
/usr/share/Agda-stdlib/src/Text/Regex/Properties.agda
/usr/share/Agda-stdlib/src/Text/Regex/Properties/Core.agda
/usr/share/Agda-stdlib/src/Text/Regex/Search.agda
/usr/share/Agda-stdlib/src/Text/Regex/SmartConstructors.agda
/usr/share/Agda-stdlib/src/Text/Regex/String
/usr/share/Agda-stdlib/src/Text/Regex/String.agda
/usr/share/Agda-stdlib/src/Text/Regex/String/Unsafe.agda
/usr/share/Agda-stdlib/src/Text/Tabular
/usr/share/Agda-stdlib/src/Text/Tabular/Base.agda
/usr/share/Agda-stdlib/src/Text/Tabular/List.agda
/usr/share/Agda-stdlib/src/Text/Tabular/Vec.agda
/usr/share/Agda-stdlib/src/Text/Tree
/usr/share/Agda-stdlib/src/Text/Tree/Linear.agda
/usr/share/Agda-stdlib/src/Universe.agda
/usr/share/Agda-stdlib/standard-library.agda-lib
/usr/share/doc/Agda-stdlib
/usr/share/doc/Agda-stdlib/CHANGELOG.md
/usr/share/doc/Agda-stdlib/README.md
/usr/share/licenses/Agda-stdlib
/usr/share/licenses/Agda-stdlib/LICENCE

References

Agda-stdlib website

Summary

In this tutorial we learn how to install Agda-stdlib on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).