| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: Agda-stdlib | Distribution: Fedora Project |
| Version: 1.7.1 | Vendor: Fedora Project |
| Release: 3.fc37 | Build date: Wed Jul 20 20:32:00 2022 |
| Group: Unspecified | Build host: buildvm-ppc64le-04.iad2.fedoraproject.org |
| Size: 142336048 | Source RPM: Agda-stdlib-1.7.1-3.fc37.src.rpm |
| Packager: Fedora Project | |
| Url: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary | |
| Summary: Agda standard libraries | |
Agda standard libraries
MIT
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Tue Jun 21 2022 Jens Petersen <petersen@redhat.com> - 1.7.1-2 - rebuild against Agda-2.6.2.2 * Wed Mar 09 2022 Jens Petersen <petersen@redhat.com> - 1.7.1-1 - https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md * Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Aug 09 2021 Jens Petersen <petersen@redhat.com> - 1.7-1 - https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md - disable armv7hl: no Agda - runs out of memory * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Mon Jan 25 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Aug 24 2020 Jens Petersen <petersen@redhat.com> - 1.3-4 - Agda-2.6.1 puts .agdai files under _build/ - move Everything and README modules to docs * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jul 20 2020 Jens Petersen <petersen@redhat.com> - 1.3-2 - make package noarch
/usr/share/Agda-stdlib /usr/share/Agda-stdlib/_build /usr/share/Agda-stdlib/_build/2.6.2.2 /usr/share/Agda-stdlib/_build/2.6.2.2/agda /usr/share/Agda-stdlib/_build/2.6.2.2/agda/Everything.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/EverythingSafe.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Axiom.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Case.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Container /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Container/FreeMonad.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Container/Indexed.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Integer.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Fresh.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Membership.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Relation/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Relation/Binary/Equality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Relation/Binary/Permutation.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Relation/Binary/Pointwise.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Relation/Binary/Subset.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Relation/Ternary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Relation/Ternary/Interleaving.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/List/Relation/Unary/Any.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Nat /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Nat.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Nat/Induction.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Record.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Tree /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Tree/AVL.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Trie /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Trie/NonDependent.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Data/Wrap.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Debug /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Debug/Trace.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Design /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Design/Decidability.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Design/Hierarchies.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Foreign /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Foreign/Haskell.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Function /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Function/Reasoning.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/IO.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Inspect.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Nary.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Tactic /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Tactic/MonoidSolver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Tactic/RingSolver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Text /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Text/Pretty.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Text/Printf.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Text/Regex.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Text/Tabular.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Bundles.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Consequences /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Consequences/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Consequences/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Consequences/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/DirectProduct.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/LexProduct /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/LexProduct.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/LexProduct/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/LexProduct/Inner.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/LiftedChoice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/NaturalChoice /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/NaturalChoice/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/NaturalChoice/Max.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/NaturalChoice/MaxOp.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/NaturalChoice/Min.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/NaturalChoice/MinMaxOp.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/NaturalChoice/MinOp.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/Subst /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/Subst/Equality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Construct/Zero.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Definitions /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Definitions.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Definitions/RawMagma.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Definitions/RawMonoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Definitions/RawSemiring.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Bundles.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Consequences.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Construct /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Construct/DirectProduct.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Construct/TensorUnit.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Construct/Zero.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Definitions /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Definitions.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Definitions/Bi.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Definitions/Left.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Definitions/Right.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Structures /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Structures.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Module/Structures/Biased.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism/Consequences.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism/Definitions.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism/GroupMonomorphism.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism/LatticeMonomorphism.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism/MagmaMonomorphism.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism/MonoidMonomorphism.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism/RingMonomorphism.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Morphism/Structures.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Operations /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Operations/CommutativeMonoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/AbelianGroup.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/BooleanAlgebra /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/BooleanAlgebra.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/BooleanAlgebra/Expression.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CancellativeCommutativeSemiring.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeMagma /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeMagma/Divisibility.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeMonoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeMonoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeMonoid/Mult /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeMonoid/Mult.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeMonoid/Mult/TCOptimised.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeMonoid/Sum.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeSemigroup /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeSemigroup.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeSemigroup/Divisibility.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeSemiring /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeSemiring/Exp /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeSemiring/Exp.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/CommutativeSemiring/Exp/TCOptimised.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/DistributiveLattice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Group.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Lattice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Magma /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Magma/Divisibility.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Monoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Monoid/Divisibility.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Monoid/Mult /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Monoid/Mult.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Monoid/Mult/TCOptimised.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Monoid/Sum.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Ring.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semigroup /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semigroup.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semigroup/Divisibility.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semilattice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semiring /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semiring/Divisibility.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semiring/Exp /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semiring/Exp.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semiring/Exp/TCOptimised.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semiring/Mult /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semiring/Mult.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semiring/Mult/TCOptimised.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semiring/Primality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Properties/Semiring/Sum.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/CommutativeMonoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/CommutativeMonoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/CommutativeMonoid/Example.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/IdempotentCommutativeMonoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/IdempotentCommutativeMonoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/Monoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/Ring /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/Ring.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/Ring/AlmostCommutativeRing.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/Ring/Lemmas.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/Ring/NaturalCoefficients /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/Ring/NaturalCoefficients.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/Ring/NaturalCoefficients/Default.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Solver/Ring/Simple.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Structures /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Structures.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Algebra/Structures/Biased.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Axiom /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Axiom/DoubleNegationElimination.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Axiom/ExcludedMiddle.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Axiom/Extensionality /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Axiom/Extensionality/Heterogeneous.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Axiom/Extensionality/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Axiom/UniquenessOfIdentityProofs /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Axiom/UniquenessOfIdentityProofs.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Axiom/UniquenessOfIdentityProofs/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Applicative /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Applicative.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Applicative/Indexed.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Applicative/Predicate.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Comonad.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Functor /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Functor.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Functor/Predicate.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad/Continuation.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad/Indexed.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad/Partiality /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad/Partiality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad/Partiality/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad/Partiality/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad/Predicate.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad/Reader.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Category/Monad/State.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Cofin /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Cofin.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Cofin/Literals.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Colist /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Colist.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Colist/Bisimilarity.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Colist/Categorical.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Colist/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Conat /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Conat.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Conat/Bisimilarity.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Conat/Literals.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Conat/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Covec /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Covec.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Covec/Bisimilarity.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Covec/Categorical.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Covec/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Covec/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Cowriter /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Cowriter.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Cowriter/Bisimilarity.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Delay /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Delay.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Delay/Bisimilarity.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Delay/Categorical.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Delay/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/M /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/M.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/M/Bisimilarity.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/M/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Cofin.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Bisimilarity.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Infinite-merge.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Relation/Unary/All /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Relation/Unary/All/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Relation/Unary/Any /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Relation/Unary/Any.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Colist/Relation/Unary/Any/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Conat /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Conat.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Conat/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Conversion.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Costring.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Covec.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/M /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/M.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/M/Indexed.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Notation.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Musical/Stream.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Stream /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Stream.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Stream/Bisimilarity.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Stream/Categorical.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Stream/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Stream/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Codata/Thunk.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Bool /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Bool.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Bool/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Bool/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Bool/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Bool/Show.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Bool/Solver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/BoundedVec /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/BoundedVec.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/BoundedVec/Inefficient.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Char /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Char.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Char/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Char/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Char/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Combinator /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Combinator.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Combinator/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Fixpoints /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Fixpoints/Guarded.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Fixpoints/Sized.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/FreeMonad.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Indexed /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Indexed.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Indexed/Combinator.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Indexed/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Indexed/Fixpoints /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Indexed/Fixpoints/Guarded.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Indexed/FreeMonad.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Indexed/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Membership.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Morphism /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Morphism.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Morphism/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Related.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Binary/Equality /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Binary/Equality/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Binary/Pointwise /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Binary/Pointwise.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Binary/Pointwise/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Unary/Any /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Unary/Any.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Container/Relation/Unary/Any/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/DifferenceList.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/DifferenceNat.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/DifferenceVec.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Digit /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Digit.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Digit/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Empty /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Empty.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Empty/Irrelevant.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Empty/Polymorphic.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Erased.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Induction.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Literals.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Patterns.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Permutation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Permutation.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Permutation/Components.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Permutation/Transposition /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Permutation/Transposition/List.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Reflection.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Show.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Subset /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Subset.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Subset/Induction.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Subset/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Substitution /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Substitution.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Substitution/Example.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Substitution/Lemmas.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Fin/Substitution/List.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Float /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Float.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Float/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Float/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Float/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Graph /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Graph/Acyclic.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Coprimality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/DivMod.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Divisibility /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Divisibility.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Divisibility/Signed.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/GCD.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/LCM.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Literals.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Show.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Solver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Tactic /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Integer/Tactic/RingSolver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Categorical.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Countdown.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Extrema /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Extrema.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Extrema/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Extrema/Nat.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Membership /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Membership/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Membership/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Membership/Setoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Relation/Unary/All /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Relation/Unary/All/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Relation/Unary/Any /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Relation/Unary/Any.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Fresh/Relation/Unary/Any/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Kleene /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Kleene.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Kleene/AsList.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Kleene/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Literals.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/DecPropositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/DecSetoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/Propositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/Propositional/Properties /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/Propositional/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/Propositional/Properties/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/Propositional/Properties/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Membership/Setoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/NonEmpty /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/NonEmpty.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/NonEmpty/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/NonEmpty/Categorical.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/NonEmpty/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/NonEmpty/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/BagAndSetEquality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Disjoint /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Disjoint/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Disjoint/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Disjoint/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Equality /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Equality/DecPropositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Equality/DecSetoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Equality/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Equality/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Infix /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Infix/Heterogeneous /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Infix/Heterogeneous.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Infix/Heterogeneous/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Infix/Homogeneous /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Infix/Homogeneous/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Lex /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Lex.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Lex/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Lex/NonStrict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Lex/Strict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Permutation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Permutation/Homogeneous.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Permutation/Propositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Permutation/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Permutation/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Permutation/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Pointwise /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Pointwise.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Pointwise/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Pointwise/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Prefix /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Prefix/Homogeneous /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Prefix/Homogeneous/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Propositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Disjoint.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Example /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Example/UniqueBoundVariables.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Subset /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Subset/Propositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Subset/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Subset/Propositional/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Subset/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Subset/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Subset/Setoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Suffix /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Suffix/Homogeneous /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Binary/Suffix/Homogeneous/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Appending /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Appending.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Appending/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Appending/Propositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Appending/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Appending/Propositional/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Appending/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Appending/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Appending/Setoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Interleaving /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Interleaving.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Interleaving/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/All /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/All/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/AllPairs /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/AllPairs.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/AllPairs/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/AllPairs/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Any /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Any.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Any/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Enumerates /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Enumerates/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Enumerates/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Enumerates/Setoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/First /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/First.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/First/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Grouped /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Grouped.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Grouped/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Linked /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Linked.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Linked/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Sorted /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Sorted/TotalOrder /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Sorted/TotalOrder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Sorted/TotalOrder/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/DecPropositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/DecPropositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/DecPropositional/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/DecSetoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/DecSetoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/DecSetoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/Propositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Relation/Unary/Unique/Setoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Reverse.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Sort /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Sort.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Sort/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Sort/MergeSort.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Zipper /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Zipper.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/List/Zipper/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Categorical.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Relation/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Relation/Binary/Connected.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Relation/Binary/Pointwise.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Relation/Unary/All /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Relation/Unary/All/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Maybe/Relation/Unary/Any.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Binary.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Binary/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Binary/Induction.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Binary/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Binary/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Binary/Subtraction.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Coprimality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/DivMod /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/DivMod.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/DivMod/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/DivMod/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Divisibility /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Divisibility.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Divisibility/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/GCD /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/GCD.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/GCD/Lemmas.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/GeneralisedArithmetic.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Induction.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/InfinitelyOften.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/LCM.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Literals.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Primality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Properties /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Properties/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/PseudoRandom /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/PseudoRandom/LCG /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/PseudoRandom/LCG.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/PseudoRandom/LCG/Unsafe.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Reflection.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Show /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Show.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Show/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Solver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Tactic /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/Tactic/RingSolver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Nat/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Algebra.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Categorical /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Categorical/Examples.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Categorical/Left /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Categorical/Left.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Categorical/Left/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Categorical/Right /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Categorical/Right.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Categorical/Right/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Function /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Function/Dependent /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Function/Dependent/Propositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Function/Dependent/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Function/Dependent/Propositional/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Function/Dependent/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Function/Dependent/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Function/Dependent/Setoid/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Function/NonDependent /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Function/NonDependent/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Function/NonDependent/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Nary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Nary/NonDependent.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Properties /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Properties/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation/Binary/Lex /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation/Binary/Lex/NonStrict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation/Binary/Lex/Strict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation/Binary/Pointwise /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation/Binary/Pointwise/Dependent /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation/Binary/Pointwise/Dependent.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation/Binary/Pointwise/NonDependent.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Product/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Literals.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Show.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Solver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Unnormalised /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Unnormalised.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Unnormalised/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Unnormalised/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Rational/Unnormalised/Solver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Record.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Refinement /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Refinement.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Refinement/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Refinement/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Refinement/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sign /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sign.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sign/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sign/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sign/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Star /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Star/BoundedVec.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Star/Decoration.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Star/Environment.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Star/Fin.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Star/List.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Star/Nat.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Star/Pointer.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Star/Vec.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/String /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/String.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/String/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/String/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/String/Literals.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/String/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/String/Unsafe.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Algebra.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Categorical /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Categorical/Examples.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Categorical/Left.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Categorical/Right.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Function /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Function/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Function/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Relation/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Relation/Binary/LeftOrder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Relation/Binary/Pointwise.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Sum/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Table /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Table.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Table/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Table/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Table/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Table/Relation/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Table/Relation/Binary/Equality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These/Categorical /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These/Categorical/Left /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These/Categorical/Left.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These/Categorical/Left/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These/Categorical/Right /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These/Categorical/Right.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These/Categorical/Right/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/These/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Height.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Indexed /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Indexed.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Indexed/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Indexed/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/Any /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/Any.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Indexed/Relation/Unary/Any/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Indexed/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/IndexedMap.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Key.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Map /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Map.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Map/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Map/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Map/Relation/Unary/Any.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/NonEmpty /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/NonEmpty.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/NonEmpty/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Relation/Unary/Any.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Sets.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/AVL/Value.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary/Relation/Unary/All /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary/Relation/Unary/All/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary/Show.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary/Zipper /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary/Zipper.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Binary/Zipper/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Rose /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Rose.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Rose/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Tree/Rose/Show.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Trie /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Trie.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Trie/NonEmpty.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Unit /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Unit.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Unit/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Unit/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Unit/NonEta.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Unit/Polymorphic /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Unit/Polymorphic.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Unit/Polymorphic/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Unit/Polymorphic/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Unit/Polymorphic/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Unit/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Universe /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Universe.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Universe/Indexed.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Bounded /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Bounded.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Bounded/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Categorical.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation/Binary/Equality /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation/Binary/Equality/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation/Binary/Pointwise /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation/Binary/Pointwise.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation/Binary/Pointwise/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation/Unary/All /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation/Unary/All/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Functional/Relation/Unary/Any.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Membership /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Membership/DecPropositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Membership/DecSetoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Membership/Propositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Membership/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Membership/Propositional/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Membership/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/N-ary.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Properties /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Properties/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Recursive /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Recursive.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Recursive/Categorical.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Recursive/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Equality /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Equality/DecPropositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Equality/DecSetoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Equality/Propositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Equality/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Equality/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Lex /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Lex/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Lex/NonStrict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Lex/Strict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Pointwise /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Pointwise/Extensional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Binary/Pointwise/Inductive.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/All /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/All.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/All/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/AllPairs /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/AllPairs.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/AllPairs/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/AllPairs/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/Any /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/Any.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/Any/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/Unique /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/Unique/Propositional /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/Unique/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/Unique/Propositional/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/Unique/Setoid /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/Unique/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Vec/Relation/Unary/Unique/Setoid/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/W /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/W.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/W/Indexed.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/W/Sized.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/W/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Word /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Word.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Word/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Word/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Word/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Data/Wrap.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Debug /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Debug/Trace.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Foreign /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Foreign/Haskell /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Foreign/Haskell.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Foreign/Haskell/Coerce.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Foreign/Haskell/Either.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Foreign/Haskell/Pair.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Bijection.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Bundles.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Construct /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Construct/Composition.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Construct/Identity.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Construct/Symmetry.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Definitions /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Definitions.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Definitions/Core1.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Definitions/Core2.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Endomorphism /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Endomorphism/Propositional.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Endomorphism/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Equality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Equivalence.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/HalfAdjointEquivalence.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Identity /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Identity/Categorical.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Identity/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Injection.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Inverse.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/LeftInverse.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Bundles.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Definitions.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Nat /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Nat.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Nat/Bundles.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Nat/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Nat/Definitions.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Nat/Structures.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Rational /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Rational.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Rational/Bundles.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Rational/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Rational/Definitions.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Rational/Structures.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Metric/Structures.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Nary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Nary/NonDependent /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Nary/NonDependent.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Nary/NonDependent/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Properties /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Properties/Equivalence.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Properties/Inverse.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Reasoning.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Related /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Related.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Related/TypeIsomorphisms /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Related/TypeIsomorphisms.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Related/TypeIsomorphisms/Solver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Structures.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Function/Surjection.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/IO /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/IO.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/IO/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/IO/Finite.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/IO/Infinite.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/IO/Primitive /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/IO/Primitive.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/IO/Primitive/Finite.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/IO/Primitive/Infinite.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Induction /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Induction.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Induction/Lexicographic.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Induction/WellFounded.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Level /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Level.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Level/Literals.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Abstraction.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Annotated /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Annotated.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Annotated/Free.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Argument /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Argument.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Argument/Information.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Argument/Modality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Argument/Quantity.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Argument/Relevance.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Argument/Visibility.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/DeBruijn.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Definition.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/External.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Literal.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Meta.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Name.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Pattern.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Show.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Term.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Traversal.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/TypeChecking /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/TypeChecking/Format.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/TypeChecking/Monad /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/TypeChecking/Monad.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/TypeChecking/Monad/Categorical.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/TypeChecking/Monad/Instances.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/TypeChecking/Monad/Syntax.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Reflection/Universe.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Bundles.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Consequences.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Extrema /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Extrema/Equality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Extrema/NonStrict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Extrema/Strict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Infimum /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Infimum/Equality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Infimum/NonStrict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Infimum/Strict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Point /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Point/Equality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Supremum /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Supremum/Equality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Supremum/NonStrict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Add/Supremum/Strict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Always.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Equivalence /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Equivalence.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Equivalence/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Reflexive /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Reflexive.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Reflexive/Properties /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Reflexive/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Symmetric.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/SymmetricTransitive.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Transitive /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Transitive.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Closure/Transitive/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Composition.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Constant /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Constant.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Constant/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Converse.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Flip.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/FromPred.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/FromRel.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Intersection.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/NaturalOrder /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/NaturalOrder/Left.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/NaturalOrder/Right.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Never.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/NonStrictToStrict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/On.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/StrictToNonStrict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Subst /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Subst/Equality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Construct/Union.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Definitions.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/HeterogeneousEquality /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/HeterogeneousEquality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/HeterogeneousEquality/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/HeterogeneousEquality/Quotients /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/HeterogeneousEquality/Quotients.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Heterogeneous /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Heterogeneous.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Heterogeneous/Bundles.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Heterogeneous/Construct /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Heterogeneous/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Heterogeneous/Definitions.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Heterogeneous/Structures.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Homogeneous /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Homogeneous.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Homogeneous/Bundles.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Homogeneous/Construct /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Homogeneous/Construct/At.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Homogeneous/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Homogeneous/Definitions.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Indexed/Homogeneous/Structures.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Lattice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Morphism /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Morphism.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Morphism/Bundles.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Morphism/Construct /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Morphism/Construct/Composition.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Morphism/Construct/Constant.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Morphism/Construct/Identity.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Morphism/Definitions.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Morphism/OrderMonomorphism.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Morphism/RelMonomorphism.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Morphism/Structures.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/BoundedJoinSemilattice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/BoundedLattice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/BoundedMeetSemilattice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/DecTotalOrder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/DistributiveLattice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/HeytingAlgebra.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/JoinSemilattice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/Lattice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/MeetSemilattice.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/Poset.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/Preorder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/StrictPartialOrder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/StrictTotalOrder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Properties/TotalOrder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/PropositionalEquality /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/PropositionalEquality.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/PropositionalEquality/Algebra.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/PropositionalEquality/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/PropositionalEquality/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/PropositionalEquality/TrustMe.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/PropositionalEquality/WithK.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning/Base /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning/Base/Double.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning/Base/Partial.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning/Base/Single.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning/Base/Triple.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning/MultiSetoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning/PartialOrder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning/PartialSetoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning/Preorder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning/Setoid.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reasoning/StrictPartialOrder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Reflection.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Rewriting.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/Structures.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Binary/TypeClasses.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nary.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Construct /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Construct/Add /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Construct/Add/Extrema.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Construct/Add/Infimum.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Construct/Add/Point.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Construct/Add/Supremum.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Decidable /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Decidable.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Decidable/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Implication.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Indexed /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Indexed.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Indexed/Negation.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Negation /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Negation.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Negation/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Product.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Reflects.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Sum.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Nullary/Universe.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Unary /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Unary.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Unary/Closure /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Unary/Closure/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Unary/Closure/Preorder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Unary/Closure/StrictPartialOrder.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Unary/Consequences.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Unary/Indexed.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Unary/PredicateTransformer.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Unary/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Relation/Unary/Sized.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Size.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Strict.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/System /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/System/Environment /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/System/Environment.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/System/Environment/Primitive.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/System/Exit /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/System/Exit.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/System/Exit/Primitive.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/MonoidSolver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/AlmostCommutativeRing.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Expression.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/NatSet.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Addition.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Constants.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Exponentiation.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Lemmas.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Multiplication.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Negation.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Homomorphism/Variables.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Parameters.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Reasoning.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/Polynomial/Semantics.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/Core/ReflectionHelp.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Tactic/RingSolver/NonReflective.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Format /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Format.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Format/Generic.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Pretty /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Pretty.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Pretty/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Printf /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Printf.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Printf/Generic.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex/Derivative /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex/Derivative/Brzozowski.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex/Properties /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex/Properties.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex/Properties/Core.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex/Search.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex/SmartConstructors.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex/String /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex/String.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Regex/String/Unsafe.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Tabular /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Tabular/Base.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/agda/src/Text/Tabular/List.agdai /usr/share/Agda-stdlib/_build/2.6.2.2/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
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Apr 9 21:25:34 2024