agda-stdlib 1.1-1 File List

Package has 1133 files and 232 directories.

Back to Package

  • usr/
  • usr/share/
  • usr/share/agda/
  • usr/share/agda/lib/
  • usr/share/agda/lib/standard-library.agda-lib
  • usr/share/agda/lib/stdlib/
  • usr/share/agda/lib/stdlib/Algebra.agda
  • usr/share/agda/lib/stdlib/Algebra.agdai
  • usr/share/agda/lib/stdlib/Algebra/
  • usr/share/agda/lib/stdlib/Algebra/Construct/
  • usr/share/agda/lib/stdlib/Algebra/Construct/LiftedChoice.agda
  • usr/share/agda/lib/stdlib/Algebra/Construct/LiftedChoice.agdai
  • usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/
  • usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/Max.agda
  • usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/Max.agdai
  • usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/Min.agda
  • usr/share/agda/lib/stdlib/Algebra/Construct/NaturalChoice/Min.agdai
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties.agda
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties.agdai
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties/
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Consequences.agda
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Consequences.agdai
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Consequences/
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Consequences/Core.agda
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Consequences/Core.agdai
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Consequences/Propositional.agda
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Consequences/Propositional.agdai
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Core.agda
  • usr/share/agda/lib/stdlib/Algebra/FunctionProperties/Core.agdai
  • usr/share/agda/lib/stdlib/Algebra/Morphism.agda
  • usr/share/agda/lib/stdlib/Algebra/Morphism.agdai
  • usr/share/agda/lib/stdlib/Algebra/Operations/
  • usr/share/agda/lib/stdlib/Algebra/Operations/CommutativeMonoid.agda
  • usr/share/agda/lib/stdlib/Algebra/Operations/CommutativeMonoid.agdai
  • usr/share/agda/lib/stdlib/Algebra/Operations/Semiring.agda
  • usr/share/agda/lib/stdlib/Algebra/Operations/Semiring.agdai
  • usr/share/agda/lib/stdlib/Algebra/Properties/
  • usr/share/agda/lib/stdlib/Algebra/Properties/AbelianGroup.agda
  • usr/share/agda/lib/stdlib/Algebra/Properties/AbelianGroup.agdai
  • usr/share/agda/lib/stdlib/Algebra/Properties/BooleanAlgebra.agda
  • usr/share/agda/lib/stdlib/Algebra/Properties/BooleanAlgebra.agdai
  • usr/share/agda/lib/stdlib/Algebra/Properties/BooleanAlgebra/
  • usr/share/agda/lib/stdlib/Algebra/Properties/BooleanAlgebra/Expression.agda
  • usr/share/agda/lib/stdlib/Algebra/Properties/BooleanAlgebra/Expression.agdai
  • usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid.agda
  • usr/share/agda/lib/stdlib/Algebra/Properties/CommutativeMonoid.agdai
  • usr/share/agda/lib/stdlib/Algebra/Properties/DistributiveLattice.agda
  • usr/share/agda/lib/stdlib/Algebra/Properties/DistributiveLattice.agdai
  • usr/share/agda/lib/stdlib/Algebra/Properties/Group.agda
  • usr/share/agda/lib/stdlib/Algebra/Properties/Group.agdai
  • usr/share/agda/lib/stdlib/Algebra/Properties/Lattice.agda
  • usr/share/agda/lib/stdlib/Algebra/Properties/Lattice.agdai
  • usr/share/agda/lib/stdlib/Algebra/Properties/Ring.agda
  • usr/share/agda/lib/stdlib/Algebra/Properties/Ring.agdai
  • usr/share/agda/lib/stdlib/Algebra/Properties/Semilattice.agda
  • usr/share/agda/lib/stdlib/Algebra/Properties/Semilattice.agdai
  • usr/share/agda/lib/stdlib/Algebra/Solver/
  • usr/share/agda/lib/stdlib/Algebra/Solver/CommutativeMonoid.agda
  • usr/share/agda/lib/stdlib/Algebra/Solver/CommutativeMonoid.agdai
  • usr/share/agda/lib/stdlib/Algebra/Solver/CommutativeMonoid/
  • usr/share/agda/lib/stdlib/Algebra/Solver/CommutativeMonoid/Example.agda
  • usr/share/agda/lib/stdlib/Algebra/Solver/CommutativeMonoid/Example.agdai
  • usr/share/agda/lib/stdlib/Algebra/Solver/IdempotentCommutativeMonoid.agda
  • usr/share/agda/lib/stdlib/Algebra/Solver/IdempotentCommutativeMonoid.agdai
  • usr/share/agda/lib/stdlib/Algebra/Solver/IdempotentCommutativeMonoid/
  • usr/share/agda/lib/stdlib/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda
  • usr/share/agda/lib/stdlib/Algebra/Solver/IdempotentCommutativeMonoid/Example.agdai
  • usr/share/agda/lib/stdlib/Algebra/Solver/Monoid.agda
  • usr/share/agda/lib/stdlib/Algebra/Solver/Monoid.agdai
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring.agda
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring.agdai
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/AlmostCommutativeRing.agda
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/AlmostCommutativeRing.agdai
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/Lemmas.agda
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/Lemmas.agdai
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/NaturalCoefficients.agda
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/NaturalCoefficients.agdai
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/NaturalCoefficients/
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/NaturalCoefficients/Default.agda
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/NaturalCoefficients/Default.agdai
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/Simple.agda
  • usr/share/agda/lib/stdlib/Algebra/Solver/Ring/Simple.agdai
  • usr/share/agda/lib/stdlib/Algebra/Structures.agda
  • usr/share/agda/lib/stdlib/Algebra/Structures.agdai
  • usr/share/agda/lib/stdlib/Axiom/
  • usr/share/agda/lib/stdlib/Axiom/DoubleNegationElimination.agda
  • usr/share/agda/lib/stdlib/Axiom/DoubleNegationElimination.agdai
  • usr/share/agda/lib/stdlib/Axiom/ExcludedMiddle.agda
  • usr/share/agda/lib/stdlib/Axiom/ExcludedMiddle.agdai
  • usr/share/agda/lib/stdlib/Axiom/Extensionality/
  • usr/share/agda/lib/stdlib/Axiom/Extensionality/Heterogeneous.agda
  • usr/share/agda/lib/stdlib/Axiom/Extensionality/Heterogeneous.agdai
  • usr/share/agda/lib/stdlib/Axiom/Extensionality/Propositional.agda
  • usr/share/agda/lib/stdlib/Axiom/Extensionality/Propositional.agdai
  • usr/share/agda/lib/stdlib/Axiom/UniquenessOfIdentityProofs.agda
  • usr/share/agda/lib/stdlib/Axiom/UniquenessOfIdentityProofs.agdai
  • usr/share/agda/lib/stdlib/Axiom/UniquenessOfIdentityProofs/
  • usr/share/agda/lib/stdlib/Axiom/UniquenessOfIdentityProofs/WithK.agda
  • usr/share/agda/lib/stdlib/Axiom/UniquenessOfIdentityProofs/WithK.agdai
  • usr/share/agda/lib/stdlib/Category/
  • usr/share/agda/lib/stdlib/Category/Applicative.agda
  • usr/share/agda/lib/stdlib/Category/Applicative.agdai
  • usr/share/agda/lib/stdlib/Category/Applicative/
  • usr/share/agda/lib/stdlib/Category/Applicative/Indexed.agda
  • usr/share/agda/lib/stdlib/Category/Applicative/Indexed.agdai
  • usr/share/agda/lib/stdlib/Category/Applicative/Predicate.agda
  • usr/share/agda/lib/stdlib/Category/Applicative/Predicate.agdai
  • usr/share/agda/lib/stdlib/Category/Comonad.agda
  • usr/share/agda/lib/stdlib/Category/Comonad.agdai
  • usr/share/agda/lib/stdlib/Category/Functor.agda
  • usr/share/agda/lib/stdlib/Category/Functor.agdai
  • usr/share/agda/lib/stdlib/Category/Functor/
  • usr/share/agda/lib/stdlib/Category/Functor/Predicate.agda
  • usr/share/agda/lib/stdlib/Category/Functor/Predicate.agdai
  • usr/share/agda/lib/stdlib/Category/Monad.agda
  • usr/share/agda/lib/stdlib/Category/Monad.agdai
  • usr/share/agda/lib/stdlib/Category/Monad/
  • usr/share/agda/lib/stdlib/Category/Monad/Continuation.agda
  • usr/share/agda/lib/stdlib/Category/Monad/Continuation.agdai
  • usr/share/agda/lib/stdlib/Category/Monad/Indexed.agda
  • usr/share/agda/lib/stdlib/Category/Monad/Indexed.agdai
  • usr/share/agda/lib/stdlib/Category/Monad/Partiality.agda
  • usr/share/agda/lib/stdlib/Category/Monad/Partiality.agdai
  • usr/share/agda/lib/stdlib/Category/Monad/Partiality/
  • usr/share/agda/lib/stdlib/Category/Monad/Partiality/All.agda
  • usr/share/agda/lib/stdlib/Category/Monad/Partiality/All.agdai
  • usr/share/agda/lib/stdlib/Category/Monad/Predicate.agda
  • usr/share/agda/lib/stdlib/Category/Monad/Predicate.agdai
  • usr/share/agda/lib/stdlib/Category/Monad/Reader.agda
  • usr/share/agda/lib/stdlib/Category/Monad/Reader.agdai
  • usr/share/agda/lib/stdlib/Category/Monad/State.agda
  • usr/share/agda/lib/stdlib/Category/Monad/State.agdai
  • usr/share/agda/lib/stdlib/Codata/
  • usr/share/agda/lib/stdlib/Codata/Cofin.agda
  • usr/share/agda/lib/stdlib/Codata/Cofin.agdai
  • usr/share/agda/lib/stdlib/Codata/Cofin/
  • usr/share/agda/lib/stdlib/Codata/Cofin/Literals.agda
  • usr/share/agda/lib/stdlib/Codata/Cofin/Literals.agdai
  • usr/share/agda/lib/stdlib/Codata/Colist.agda
  • usr/share/agda/lib/stdlib/Codata/Colist.agdai
  • usr/share/agda/lib/stdlib/Codata/Colist/
  • usr/share/agda/lib/stdlib/Codata/Colist/Bisimilarity.agda
  • usr/share/agda/lib/stdlib/Codata/Colist/Bisimilarity.agdai
  • usr/share/agda/lib/stdlib/Codata/Colist/Categorical.agda
  • usr/share/agda/lib/stdlib/Codata/Colist/Categorical.agdai
  • usr/share/agda/lib/stdlib/Codata/Colist/Properties.agda
  • usr/share/agda/lib/stdlib/Codata/Colist/Properties.agdai
  • usr/share/agda/lib/stdlib/Codata/Conat.agda
  • usr/share/agda/lib/stdlib/Codata/Conat.agdai
  • usr/share/agda/lib/stdlib/Codata/Conat/
  • usr/share/agda/lib/stdlib/Codata/Conat/Bisimilarity.agda
  • usr/share/agda/lib/stdlib/Codata/Conat/Bisimilarity.agdai
  • usr/share/agda/lib/stdlib/Codata/Conat/Literals.agda
  • usr/share/agda/lib/stdlib/Codata/Conat/Literals.agdai
  • usr/share/agda/lib/stdlib/Codata/Conat/Properties.agda
  • usr/share/agda/lib/stdlib/Codata/Conat/Properties.agdai
  • usr/share/agda/lib/stdlib/Codata/Covec.agda
  • usr/share/agda/lib/stdlib/Codata/Covec.agdai
  • usr/share/agda/lib/stdlib/Codata/Covec/
  • usr/share/agda/lib/stdlib/Codata/Covec/Bisimilarity.agda
  • usr/share/agda/lib/stdlib/Codata/Covec/Bisimilarity.agdai
  • usr/share/agda/lib/stdlib/Codata/Covec/Categorical.agda
  • usr/share/agda/lib/stdlib/Codata/Covec/Categorical.agdai
  • usr/share/agda/lib/stdlib/Codata/Covec/Properties.agda
  • usr/share/agda/lib/stdlib/Codata/Covec/Properties.agdai
  • usr/share/agda/lib/stdlib/Codata/Cowriter.agda
  • usr/share/agda/lib/stdlib/Codata/Cowriter.agdai
  • usr/share/agda/lib/stdlib/Codata/Delay.agda
  • usr/share/agda/lib/stdlib/Codata/Delay.agdai
  • usr/share/agda/lib/stdlib/Codata/Delay/
  • usr/share/agda/lib/stdlib/Codata/Delay/Bisimilarity.agda
  • usr/share/agda/lib/stdlib/Codata/Delay/Bisimilarity.agdai
  • usr/share/agda/lib/stdlib/Codata/Delay/Categorical.agda
  • usr/share/agda/lib/stdlib/Codata/Delay/Categorical.agdai
  • usr/share/agda/lib/stdlib/Codata/Delay/Properties.agda
  • usr/share/agda/lib/stdlib/Codata/Delay/Properties.agdai
  • usr/share/agda/lib/stdlib/Codata/M.agda
  • usr/share/agda/lib/stdlib/Codata/M.agdai
  • usr/share/agda/lib/stdlib/Codata/M/
  • usr/share/agda/lib/stdlib/Codata/M/Bisimilarity.agda
  • usr/share/agda/lib/stdlib/Codata/M/Bisimilarity.agdai
  • usr/share/agda/lib/stdlib/Codata/M/Properties.agda
  • usr/share/agda/lib/stdlib/Codata/M/Properties.agdai
  • usr/share/agda/lib/stdlib/Codata/Musical/
  • usr/share/agda/lib/stdlib/Codata/Musical/Cofin.agda
  • usr/share/agda/lib/stdlib/Codata/Musical/Cofin.agdai
  • usr/share/agda/lib/stdlib/Codata/Musical/Colist.agda
  • usr/share/agda/lib/stdlib/Codata/Musical/Colist.agdai
  • usr/share/agda/lib/stdlib/Codata/Musical/Colist/
  • usr/share/agda/lib/stdlib/Codata/Musical/Colist/Infinite-merge.agda
  • usr/share/agda/lib/stdlib/Codata/Musical/Colist/Infinite-merge.agdai
  • usr/share/agda/lib/stdlib/Codata/Musical/Conat.agda
  • usr/share/agda/lib/stdlib/Codata/Musical/Conat.agdai
  • usr/share/agda/lib/stdlib/Codata/Musical/Costring.agda
  • usr/share/agda/lib/stdlib/Codata/Musical/Costring.agdai
  • usr/share/agda/lib/stdlib/Codata/Musical/Covec.agda
  • usr/share/agda/lib/stdlib/Codata/Musical/Covec.agdai
  • usr/share/agda/lib/stdlib/Codata/Musical/M.agda
  • usr/share/agda/lib/stdlib/Codata/Musical/M.agdai
  • usr/share/agda/lib/stdlib/Codata/Musical/M/
  • usr/share/agda/lib/stdlib/Codata/Musical/M/Indexed.agda
  • usr/share/agda/lib/stdlib/Codata/Musical/M/Indexed.agdai
  • usr/share/agda/lib/stdlib/Codata/Musical/Notation.agda
  • usr/share/agda/lib/stdlib/Codata/Musical/Notation.agdai
  • usr/share/agda/lib/stdlib/Codata/Musical/Stream.agda
  • usr/share/agda/lib/stdlib/Codata/Musical/Stream.agdai
  • usr/share/agda/lib/stdlib/Codata/Stream.agda
  • usr/share/agda/lib/stdlib/Codata/Stream.agdai
  • usr/share/agda/lib/stdlib/Codata/Stream/
  • usr/share/agda/lib/stdlib/Codata/Stream/Bisimilarity.agda
  • usr/share/agda/lib/stdlib/Codata/Stream/Bisimilarity.agdai
  • usr/share/agda/lib/stdlib/Codata/Stream/Categorical.agda
  • usr/share/agda/lib/stdlib/Codata/Stream/Categorical.agdai
  • usr/share/agda/lib/stdlib/Codata/Stream/Properties.agda
  • usr/share/agda/lib/stdlib/Codata/Stream/Properties.agdai
  • usr/share/agda/lib/stdlib/Codata/Thunk.agda
  • usr/share/agda/lib/stdlib/Codata/Thunk.agdai
  • usr/share/agda/lib/stdlib/Data/
  • usr/share/agda/lib/stdlib/Data/AVL.agda
  • usr/share/agda/lib/stdlib/Data/AVL.agdai
  • usr/share/agda/lib/stdlib/Data/AVL/
  • usr/share/agda/lib/stdlib/Data/AVL/Height.agda
  • usr/share/agda/lib/stdlib/Data/AVL/Height.agdai
  • usr/share/agda/lib/stdlib/Data/AVL/Indexed.agda
  • usr/share/agda/lib/stdlib/Data/AVL/Indexed.agdai
  • usr/share/agda/lib/stdlib/Data/AVL/Indexed/
  • usr/share/agda/lib/stdlib/Data/AVL/Indexed/WithK.agda
  • usr/share/agda/lib/stdlib/Data/AVL/Indexed/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/AVL/IndexedMap.agda
  • usr/share/agda/lib/stdlib/Data/AVL/IndexedMap.agdai
  • usr/share/agda/lib/stdlib/Data/AVL/Key.agda
  • usr/share/agda/lib/stdlib/Data/AVL/Key.agdai
  • usr/share/agda/lib/stdlib/Data/AVL/NonEmpty.agda
  • usr/share/agda/lib/stdlib/Data/AVL/NonEmpty.agdai
  • usr/share/agda/lib/stdlib/Data/AVL/NonEmpty/
  • usr/share/agda/lib/stdlib/Data/AVL/NonEmpty/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/AVL/NonEmpty/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/AVL/Sets.agda
  • usr/share/agda/lib/stdlib/Data/AVL/Sets.agdai
  • usr/share/agda/lib/stdlib/Data/AVL/Value.agda
  • usr/share/agda/lib/stdlib/Data/AVL/Value.agdai
  • usr/share/agda/lib/stdlib/Data/Bin.agda
  • usr/share/agda/lib/stdlib/Data/Bin.agdai
  • usr/share/agda/lib/stdlib/Data/Bin/
  • usr/share/agda/lib/stdlib/Data/Bin/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Bin/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Bool.agda
  • usr/share/agda/lib/stdlib/Data/Bool.agdai
  • usr/share/agda/lib/stdlib/Data/Bool/
  • usr/share/agda/lib/stdlib/Data/Bool/Base.agda
  • usr/share/agda/lib/stdlib/Data/Bool/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Bool/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Bool/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Bool/Show.agda
  • usr/share/agda/lib/stdlib/Data/Bool/Show.agdai
  • usr/share/agda/lib/stdlib/Data/Bool/Solver.agda
  • usr/share/agda/lib/stdlib/Data/Bool/Solver.agdai
  • usr/share/agda/lib/stdlib/Data/BoundedVec.agda
  • usr/share/agda/lib/stdlib/Data/BoundedVec.agdai
  • usr/share/agda/lib/stdlib/Data/BoundedVec/
  • usr/share/agda/lib/stdlib/Data/BoundedVec/Inefficient.agda
  • usr/share/agda/lib/stdlib/Data/BoundedVec/Inefficient.agdai
  • usr/share/agda/lib/stdlib/Data/Char.agda
  • usr/share/agda/lib/stdlib/Data/Char.agdai
  • usr/share/agda/lib/stdlib/Data/Char/
  • usr/share/agda/lib/stdlib/Data/Char/Base.agda
  • usr/share/agda/lib/stdlib/Data/Char/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Char/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Char/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Container.agda
  • usr/share/agda/lib/stdlib/Data/Container.agdai
  • usr/share/agda/lib/stdlib/Data/Container/
  • usr/share/agda/lib/stdlib/Data/Container/Any.agda
  • usr/share/agda/lib/stdlib/Data/Container/Any.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Combinator.agda
  • usr/share/agda/lib/stdlib/Data/Container/Combinator.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Combinator/
  • usr/share/agda/lib/stdlib/Data/Container/Combinator/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Container/Combinator/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Core.agda
  • usr/share/agda/lib/stdlib/Data/Container/Core.agdai
  • usr/share/agda/lib/stdlib/Data/Container/FreeMonad.agda
  • usr/share/agda/lib/stdlib/Data/Container/FreeMonad.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Indexed.agda
  • usr/share/agda/lib/stdlib/Data/Container/Indexed.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Indexed/
  • usr/share/agda/lib/stdlib/Data/Container/Indexed/Combinator.agda
  • usr/share/agda/lib/stdlib/Data/Container/Indexed/Combinator.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Indexed/Core.agda
  • usr/share/agda/lib/stdlib/Data/Container/Indexed/Core.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Indexed/FreeMonad.agda
  • usr/share/agda/lib/stdlib/Data/Container/Indexed/FreeMonad.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Indexed/WithK.agda
  • usr/share/agda/lib/stdlib/Data/Container/Indexed/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Membership.agda
  • usr/share/agda/lib/stdlib/Data/Container/Membership.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Morphism.agda
  • usr/share/agda/lib/stdlib/Data/Container/Morphism.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Morphism/
  • usr/share/agda/lib/stdlib/Data/Container/Morphism/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Container/Morphism/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Container/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Related.agda
  • usr/share/agda/lib/stdlib/Data/Container/Related.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Relation/
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Equality/
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Equality/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Equality/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Pointwise.agda
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Pointwise.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Pointwise/
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Pointwise/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Binary/Pointwise/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/All.agda
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/All.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/Any.agda
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/Any.agdai
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/Any/
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/Any/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Container/Relation/Unary/Any/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/DifferenceList.agda
  • usr/share/agda/lib/stdlib/Data/DifferenceList.agdai
  • usr/share/agda/lib/stdlib/Data/DifferenceNat.agda
  • usr/share/agda/lib/stdlib/Data/DifferenceNat.agdai
  • usr/share/agda/lib/stdlib/Data/DifferenceVec.agda
  • usr/share/agda/lib/stdlib/Data/DifferenceVec.agdai
  • usr/share/agda/lib/stdlib/Data/Digit.agda
  • usr/share/agda/lib/stdlib/Data/Digit.agdai
  • usr/share/agda/lib/stdlib/Data/Empty.agda
  • usr/share/agda/lib/stdlib/Data/Empty.agdai
  • usr/share/agda/lib/stdlib/Data/Empty/
  • usr/share/agda/lib/stdlib/Data/Empty/Irrelevant.agda
  • usr/share/agda/lib/stdlib/Data/Empty/Irrelevant.agdai
  • usr/share/agda/lib/stdlib/Data/Fin.agda
  • usr/share/agda/lib/stdlib/Data/Fin.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/
  • usr/share/agda/lib/stdlib/Data/Fin/Base.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Dec.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Dec.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Induction.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Induction.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Literals.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Literals.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Permutation.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Permutation.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Permutation/
  • usr/share/agda/lib/stdlib/Data/Fin/Permutation/Components.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Permutation/Components.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Subset.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Subset.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Subset/
  • usr/share/agda/lib/stdlib/Data/Fin/Subset/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Subset/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Substitution.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Substitution.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Substitution/
  • usr/share/agda/lib/stdlib/Data/Fin/Substitution/Example.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Substitution/Example.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Substitution/Lemmas.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Substitution/Lemmas.agdai
  • usr/share/agda/lib/stdlib/Data/Fin/Substitution/List.agda
  • usr/share/agda/lib/stdlib/Data/Fin/Substitution/List.agdai
  • usr/share/agda/lib/stdlib/Data/Float.agda
  • usr/share/agda/lib/stdlib/Data/Float.agdai
  • usr/share/agda/lib/stdlib/Data/Float/
  • usr/share/agda/lib/stdlib/Data/Float/Unsafe.agda
  • usr/share/agda/lib/stdlib/Data/Float/Unsafe.agdai
  • usr/share/agda/lib/stdlib/Data/Graph/
  • usr/share/agda/lib/stdlib/Data/Graph/Acyclic.agda
  • usr/share/agda/lib/stdlib/Data/Graph/Acyclic.agdai
  • usr/share/agda/lib/stdlib/Data/Integer.agda
  • usr/share/agda/lib/stdlib/Data/Integer.agdai
  • usr/share/agda/lib/stdlib/Data/Integer/
  • usr/share/agda/lib/stdlib/Data/Integer/Base.agda
  • usr/share/agda/lib/stdlib/Data/Integer/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Integer/Coprimality.agda
  • usr/share/agda/lib/stdlib/Data/Integer/Coprimality.agdai
  • usr/share/agda/lib/stdlib/Data/Integer/DivMod.agda
  • usr/share/agda/lib/stdlib/Data/Integer/DivMod.agdai
  • usr/share/agda/lib/stdlib/Data/Integer/Divisibility.agda
  • usr/share/agda/lib/stdlib/Data/Integer/Divisibility.agdai
  • usr/share/agda/lib/stdlib/Data/Integer/Divisibility/
  • usr/share/agda/lib/stdlib/Data/Integer/Divisibility/Signed.agda
  • usr/share/agda/lib/stdlib/Data/Integer/Divisibility/Signed.agdai
  • usr/share/agda/lib/stdlib/Data/Integer/Literals.agda
  • usr/share/agda/lib/stdlib/Data/Integer/Literals.agdai
  • usr/share/agda/lib/stdlib/Data/Integer/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Integer/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Integer/Solver.agda
  • usr/share/agda/lib/stdlib/Data/Integer/Solver.agdai
  • usr/share/agda/lib/stdlib/Data/List.agda
  • usr/share/agda/lib/stdlib/Data/List.agdai
  • usr/share/agda/lib/stdlib/Data/List/
  • usr/share/agda/lib/stdlib/Data/List/All.agda
  • usr/share/agda/lib/stdlib/Data/List/All.agdai
  • usr/share/agda/lib/stdlib/Data/List/All/
  • usr/share/agda/lib/stdlib/Data/List/All/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/All/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Any.agda
  • usr/share/agda/lib/stdlib/Data/List/Any.agdai
  • usr/share/agda/lib/stdlib/Data/List/Any/
  • usr/share/agda/lib/stdlib/Data/List/Any/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Any/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Base.agda
  • usr/share/agda/lib/stdlib/Data/List/Base.agdai
  • usr/share/agda/lib/stdlib/Data/List/Categorical.agda
  • usr/share/agda/lib/stdlib/Data/List/Categorical.agdai
  • usr/share/agda/lib/stdlib/Data/List/Countdown.agda
  • usr/share/agda/lib/stdlib/Data/List/Countdown.agdai
  • usr/share/agda/lib/stdlib/Data/List/Extrema.agda
  • usr/share/agda/lib/stdlib/Data/List/Extrema.agdai
  • usr/share/agda/lib/stdlib/Data/List/Extrema/
  • usr/share/agda/lib/stdlib/Data/List/Extrema/Core.agda
  • usr/share/agda/lib/stdlib/Data/List/Extrema/Core.agdai
  • usr/share/agda/lib/stdlib/Data/List/Extrema/Nat.agda
  • usr/share/agda/lib/stdlib/Data/List/Extrema/Nat.agdai
  • usr/share/agda/lib/stdlib/Data/List/Literals.agda
  • usr/share/agda/lib/stdlib/Data/List/Literals.agdai
  • usr/share/agda/lib/stdlib/Data/List/Membership/
  • usr/share/agda/lib/stdlib/Data/List/Membership/DecPropositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Membership/DecPropositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Membership/DecSetoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Membership/DecSetoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Membership/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Membership/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/
  • usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties/
  • usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties/Core.agda
  • usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties/Core.agdai
  • usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties/WithK.agda
  • usr/share/agda/lib/stdlib/Data/List/Membership/Propositional/Properties/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/List/Membership/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Membership/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Membership/Setoid/
  • usr/share/agda/lib/stdlib/Data/List/Membership/Setoid/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Membership/Setoid/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/NonEmpty.agda
  • usr/share/agda/lib/stdlib/Data/List/NonEmpty.agdai
  • usr/share/agda/lib/stdlib/Data/List/NonEmpty/
  • usr/share/agda/lib/stdlib/Data/List/NonEmpty/Categorical.agda
  • usr/share/agda/lib/stdlib/Data/List/NonEmpty/Categorical.agdai
  • usr/share/agda/lib/stdlib/Data/List/NonEmpty/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/NonEmpty/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/
  • usr/share/agda/lib/stdlib/Data/List/Relation/BagAndSetEquality.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/BagAndSetEquality.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/BagAndSetEquality.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/BagAndSetEquality.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Setoid/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/DecPropositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/DecPropositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/DecSetoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/DecSetoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Equality/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/Core.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/Core.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/NonStrict.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/NonStrict.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/Strict.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Lex/Strict.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Homogeneous.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Homogeneous.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Inductive.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Inductive.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Inductive/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Inductive/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Inductive/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Propositional/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Propositional/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Permutation/Setoid/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Pointwise.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Pointwise.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Heterogeneous.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Heterogeneous.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Heterogeneous/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecPropositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecPropositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecPropositional/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecSetoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecSetoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecSetoid/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Propositional/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Setoid/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Setoid/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Sublist/Setoid/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Propositional/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Propositional/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Propositional/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Setoid/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Setoid/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Subset/Setoid/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Heterogeneous.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Heterogeneous.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Heterogeneous/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Equality/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Equality/DecPropositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Equality/DecPropositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Equality/DecSetoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Equality/DecSetoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Equality/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Equality/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Equality/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Equality/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Lex/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Lex/Core.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Lex/NonStrict.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Lex/NonStrict.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Lex/Strict.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Lex/Strict.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Permutation/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Permutation/Inductive.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Permutation/Inductive.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Permutation/Inductive/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Permutation/Inductive/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Permutation/Inductive/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Pointwise.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Pointwise.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Sublist/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Sublist/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Sublist/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Sublist/Propositional/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Sublist/Propositional/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Sublist/Propositional/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Subset/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Subset/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Subset/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Subset/Propositional/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Subset/Propositional/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Subset/Propositional/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Subset/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Subset/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Subset/Setoid/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Subset/Setoid/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Subset/Setoid/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Propositional/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Setoid/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/All.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/All.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/All/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/All/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/All/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs/Core.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs/Core.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/AllPairs/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Any.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Any.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Any/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Any/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Any/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/First.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/First.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/First/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/First/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/First/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Propositional/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Propositional/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Propositional/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Setoid/
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Setoid/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Relation/Unary/Unique/Setoid/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/List/Reverse.agda
  • usr/share/agda/lib/stdlib/Data/List/Reverse.agdai
  • usr/share/agda/lib/stdlib/Data/List/Solver.agda
  • usr/share/agda/lib/stdlib/Data/List/Solver.agdai
  • usr/share/agda/lib/stdlib/Data/List/Zipper.agda
  • usr/share/agda/lib/stdlib/Data/List/Zipper.agdai
  • usr/share/agda/lib/stdlib/Data/List/Zipper/
  • usr/share/agda/lib/stdlib/Data/List/Zipper/Properties.agda
  • usr/share/agda/lib/stdlib/Data/List/Zipper/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Maybe.agda
  • usr/share/agda/lib/stdlib/Data/Maybe.agdai
  • usr/share/agda/lib/stdlib/Data/Maybe/
  • usr/share/agda/lib/stdlib/Data/Maybe/Base.agda
  • usr/share/agda/lib/stdlib/Data/Maybe/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Maybe/Categorical.agda
  • usr/share/agda/lib/stdlib/Data/Maybe/Categorical.agdai
  • usr/share/agda/lib/stdlib/Data/Maybe/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Maybe/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/Binary/
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/Binary/Pointwise.agda
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/Binary/Pointwise.agdai
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/All.agda
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/All.agdai
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/All/
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/All/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/All/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/Any.agda
  • usr/share/agda/lib/stdlib/Data/Maybe/Relation/Unary/Any.agdai
  • usr/share/agda/lib/stdlib/Data/Nat.agda
  • usr/share/agda/lib/stdlib/Data/Nat.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/
  • usr/share/agda/lib/stdlib/Data/Nat/Base.agda
  • usr/share/agda/lib/stdlib/Data/Nat/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/Coprimality.agda
  • usr/share/agda/lib/stdlib/Data/Nat/Coprimality.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/DivMod.agda
  • usr/share/agda/lib/stdlib/Data/Nat/DivMod.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/DivMod/
  • usr/share/agda/lib/stdlib/Data/Nat/DivMod/Core.agda
  • usr/share/agda/lib/stdlib/Data/Nat/DivMod/Core.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/DivMod/WithK.agda
  • usr/share/agda/lib/stdlib/Data/Nat/DivMod/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/Divisibility.agda
  • usr/share/agda/lib/stdlib/Data/Nat/Divisibility.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/Divisibility/
  • usr/share/agda/lib/stdlib/Data/Nat/Divisibility/Core.agda
  • usr/share/agda/lib/stdlib/Data/Nat/Divisibility/Core.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/GCD.agda
  • usr/share/agda/lib/stdlib/Data/Nat/GCD.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/GCD/
  • usr/share/agda/lib/stdlib/Data/Nat/GCD/Lemmas.agda
  • usr/share/agda/lib/stdlib/Data/Nat/GCD/Lemmas.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/GeneralisedArithmetic.agda
  • usr/share/agda/lib/stdlib/Data/Nat/GeneralisedArithmetic.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/Induction.agda
  • usr/share/agda/lib/stdlib/Data/Nat/Induction.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/InfinitelyOften.agda
  • usr/share/agda/lib/stdlib/Data/Nat/InfinitelyOften.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/LCM.agda
  • usr/share/agda/lib/stdlib/Data/Nat/LCM.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/Literals.agda
  • usr/share/agda/lib/stdlib/Data/Nat/Literals.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/Primality.agda
  • usr/share/agda/lib/stdlib/Data/Nat/Primality.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Nat/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/Show.agda
  • usr/share/agda/lib/stdlib/Data/Nat/Show.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/Solver.agda
  • usr/share/agda/lib/stdlib/Data/Nat/Solver.agdai
  • usr/share/agda/lib/stdlib/Data/Nat/WithK.agda
  • usr/share/agda/lib/stdlib/Data/Nat/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/Plus.agda
  • usr/share/agda/lib/stdlib/Data/Plus.agdai
  • usr/share/agda/lib/stdlib/Data/Product.agda
  • usr/share/agda/lib/stdlib/Data/Product.agdai
  • usr/share/agda/lib/stdlib/Data/Product/
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Examples.agda
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Examples.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Left.agda
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Left.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Left/
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Left/Base.agda
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Left/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Right.agda
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Right.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Right/
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Right/Base.agda
  • usr/share/agda/lib/stdlib/Data/Product/Categorical/Right/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Function/
  • usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/
  • usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Propositional/
  • usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Propositional/WithK.agda
  • usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Propositional/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Setoid/
  • usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Setoid/WithK.agda
  • usr/share/agda/lib/stdlib/Data/Product/Function/Dependent/Setoid/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Function/NonDependent/
  • usr/share/agda/lib/stdlib/Data/Product/Function/NonDependent/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/Product/Function/NonDependent/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Function/NonDependent/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/Product/Function/NonDependent/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/Product/N-ary.agda
  • usr/share/agda/lib/stdlib/Data/Product/N-ary.agdai
  • usr/share/agda/lib/stdlib/Data/Product/N-ary/
  • usr/share/agda/lib/stdlib/Data/Product/N-ary/Categorical.agda
  • usr/share/agda/lib/stdlib/Data/Product/N-ary/Categorical.agdai
  • usr/share/agda/lib/stdlib/Data/Product/N-ary/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Product/N-ary/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Nary/
  • usr/share/agda/lib/stdlib/Data/Product/Nary/NonDependent.agda
  • usr/share/agda/lib/stdlib/Data/Product/Nary/NonDependent.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Product/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Properties/
  • usr/share/agda/lib/stdlib/Data/Product/Properties/WithK.agda
  • usr/share/agda/lib/stdlib/Data/Product/Properties/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Relation/
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Lex/
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Lex/NonStrict.agda
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Lex/NonStrict.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Lex/Strict.agda
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Lex/Strict.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/Dependent.agda
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/Dependent.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/Dependent/
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agda
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/NonDependent.agda
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Binary/Pointwise/NonDependent.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Lex/
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Lex/NonStrict.agda
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Lex/NonStrict.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Lex/Strict.agda
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Lex/Strict.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Pointwise/
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Pointwise/Dependent.agda
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Pointwise/Dependent.agdai
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Pointwise/NonDependent.agda
  • usr/share/agda/lib/stdlib/Data/Product/Relation/Pointwise/NonDependent.agdai
  • usr/share/agda/lib/stdlib/Data/Rational.agda
  • usr/share/agda/lib/stdlib/Data/Rational.agdai
  • usr/share/agda/lib/stdlib/Data/Rational/
  • usr/share/agda/lib/stdlib/Data/Rational/Base.agda
  • usr/share/agda/lib/stdlib/Data/Rational/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Rational/Literals.agda
  • usr/share/agda/lib/stdlib/Data/Rational/Literals.agdai
  • usr/share/agda/lib/stdlib/Data/Rational/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Rational/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Record.agda
  • usr/share/agda/lib/stdlib/Data/Record.agdai
  • usr/share/agda/lib/stdlib/Data/ReflexiveClosure.agda
  • usr/share/agda/lib/stdlib/Data/ReflexiveClosure.agdai
  • usr/share/agda/lib/stdlib/Data/Sign.agda
  • usr/share/agda/lib/stdlib/Data/Sign.agdai
  • usr/share/agda/lib/stdlib/Data/Sign/
  • usr/share/agda/lib/stdlib/Data/Sign/Base.agda
  • usr/share/agda/lib/stdlib/Data/Sign/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Sign/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Sign/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Star.agda
  • usr/share/agda/lib/stdlib/Data/Star.agdai
  • usr/share/agda/lib/stdlib/Data/Star/
  • usr/share/agda/lib/stdlib/Data/Star/BoundedVec.agda
  • usr/share/agda/lib/stdlib/Data/Star/BoundedVec.agdai
  • usr/share/agda/lib/stdlib/Data/Star/Decoration.agda
  • usr/share/agda/lib/stdlib/Data/Star/Decoration.agdai
  • usr/share/agda/lib/stdlib/Data/Star/Environment.agda
  • usr/share/agda/lib/stdlib/Data/Star/Environment.agdai
  • usr/share/agda/lib/stdlib/Data/Star/Fin.agda
  • usr/share/agda/lib/stdlib/Data/Star/Fin.agdai
  • usr/share/agda/lib/stdlib/Data/Star/List.agda
  • usr/share/agda/lib/stdlib/Data/Star/List.agdai
  • usr/share/agda/lib/stdlib/Data/Star/Nat.agda
  • usr/share/agda/lib/stdlib/Data/Star/Nat.agdai
  • usr/share/agda/lib/stdlib/Data/Star/Pointer.agda
  • usr/share/agda/lib/stdlib/Data/Star/Pointer.agdai
  • usr/share/agda/lib/stdlib/Data/Star/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Star/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Star/Vec.agda
  • usr/share/agda/lib/stdlib/Data/Star/Vec.agdai
  • usr/share/agda/lib/stdlib/Data/String.agda
  • usr/share/agda/lib/stdlib/Data/String.agdai
  • usr/share/agda/lib/stdlib/Data/String/
  • usr/share/agda/lib/stdlib/Data/String/Base.agda
  • usr/share/agda/lib/stdlib/Data/String/Base.agdai
  • usr/share/agda/lib/stdlib/Data/String/Literals.agda
  • usr/share/agda/lib/stdlib/Data/String/Literals.agdai
  • usr/share/agda/lib/stdlib/Data/String/Properties.agda
  • usr/share/agda/lib/stdlib/Data/String/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/String/Unsafe.agda
  • usr/share/agda/lib/stdlib/Data/String/Unsafe.agdai
  • usr/share/agda/lib/stdlib/Data/Sum.agda
  • usr/share/agda/lib/stdlib/Data/Sum.agdai
  • usr/share/agda/lib/stdlib/Data/Sum/
  • usr/share/agda/lib/stdlib/Data/Sum/Base.agda
  • usr/share/agda/lib/stdlib/Data/Sum/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Sum/Categorical/
  • usr/share/agda/lib/stdlib/Data/Sum/Categorical/Examples.agda
  • usr/share/agda/lib/stdlib/Data/Sum/Categorical/Examples.agdai
  • usr/share/agda/lib/stdlib/Data/Sum/Categorical/Left.agda
  • usr/share/agda/lib/stdlib/Data/Sum/Categorical/Left.agdai
  • usr/share/agda/lib/stdlib/Data/Sum/Categorical/Right.agda
  • usr/share/agda/lib/stdlib/Data/Sum/Categorical/Right.agdai
  • usr/share/agda/lib/stdlib/Data/Sum/Function/
  • usr/share/agda/lib/stdlib/Data/Sum/Function/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/Sum/Function/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/Sum/Function/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/Sum/Function/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/Sum/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Sum/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Sum/Relation/
  • usr/share/agda/lib/stdlib/Data/Sum/Relation/Binary/
  • usr/share/agda/lib/stdlib/Data/Sum/Relation/Binary/LeftOrder.agda
  • usr/share/agda/lib/stdlib/Data/Sum/Relation/Binary/LeftOrder.agdai
  • usr/share/agda/lib/stdlib/Data/Sum/Relation/Binary/Pointwise.agda
  • usr/share/agda/lib/stdlib/Data/Sum/Relation/Binary/Pointwise.agdai
  • usr/share/agda/lib/stdlib/Data/Sum/Relation/LeftOrder.agda
  • usr/share/agda/lib/stdlib/Data/Sum/Relation/LeftOrder.agdai
  • usr/share/agda/lib/stdlib/Data/Sum/Relation/Pointwise.agda
  • usr/share/agda/lib/stdlib/Data/Sum/Relation/Pointwise.agdai
  • usr/share/agda/lib/stdlib/Data/Table.agda
  • usr/share/agda/lib/stdlib/Data/Table.agdai
  • usr/share/agda/lib/stdlib/Data/Table/
  • usr/share/agda/lib/stdlib/Data/Table/Base.agda
  • usr/share/agda/lib/stdlib/Data/Table/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Table/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Table/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Table/Relation/
  • usr/share/agda/lib/stdlib/Data/Table/Relation/Binary/
  • usr/share/agda/lib/stdlib/Data/Table/Relation/Binary/Equality.agda
  • usr/share/agda/lib/stdlib/Data/Table/Relation/Binary/Equality.agdai
  • usr/share/agda/lib/stdlib/Data/Table/Relation/Equality.agda
  • usr/share/agda/lib/stdlib/Data/Table/Relation/Equality.agdai
  • usr/share/agda/lib/stdlib/Data/These.agda
  • usr/share/agda/lib/stdlib/Data/These.agdai
  • usr/share/agda/lib/stdlib/Data/These/
  • usr/share/agda/lib/stdlib/Data/These/Base.agda
  • usr/share/agda/lib/stdlib/Data/These/Base.agdai
  • usr/share/agda/lib/stdlib/Data/These/Categorical/
  • usr/share/agda/lib/stdlib/Data/These/Categorical/Left.agda
  • usr/share/agda/lib/stdlib/Data/These/Categorical/Left.agdai
  • usr/share/agda/lib/stdlib/Data/These/Categorical/Left/
  • usr/share/agda/lib/stdlib/Data/These/Categorical/Left/Base.agda
  • usr/share/agda/lib/stdlib/Data/These/Categorical/Left/Base.agdai
  • usr/share/agda/lib/stdlib/Data/These/Categorical/Right.agda
  • usr/share/agda/lib/stdlib/Data/These/Categorical/Right.agdai
  • usr/share/agda/lib/stdlib/Data/These/Categorical/Right/
  • usr/share/agda/lib/stdlib/Data/These/Categorical/Right/Base.agda
  • usr/share/agda/lib/stdlib/Data/These/Categorical/Right/Base.agdai
  • usr/share/agda/lib/stdlib/Data/These/Properties.agda
  • usr/share/agda/lib/stdlib/Data/These/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Trie.agda
  • usr/share/agda/lib/stdlib/Data/Trie.agdai
  • usr/share/agda/lib/stdlib/Data/Trie/
  • usr/share/agda/lib/stdlib/Data/Trie/NonEmpty.agda
  • usr/share/agda/lib/stdlib/Data/Trie/NonEmpty.agdai
  • usr/share/agda/lib/stdlib/Data/Unit.agda
  • usr/share/agda/lib/stdlib/Data/Unit.agdai
  • usr/share/agda/lib/stdlib/Data/Unit/
  • usr/share/agda/lib/stdlib/Data/Unit/Base.agda
  • usr/share/agda/lib/stdlib/Data/Unit/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Unit/NonEta.agda
  • usr/share/agda/lib/stdlib/Data/Unit/NonEta.agdai
  • usr/share/agda/lib/stdlib/Data/Unit/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Unit/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Universe.agda
  • usr/share/agda/lib/stdlib/Data/Universe.agdai
  • usr/share/agda/lib/stdlib/Data/Universe/
  • usr/share/agda/lib/stdlib/Data/Universe/Indexed.agda
  • usr/share/agda/lib/stdlib/Data/Universe/Indexed.agdai
  • usr/share/agda/lib/stdlib/Data/Vec.agda
  • usr/share/agda/lib/stdlib/Data/Vec.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/
  • usr/share/agda/lib/stdlib/Data/Vec/All.agda
  • usr/share/agda/lib/stdlib/Data/Vec/All.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/All/
  • usr/share/agda/lib/stdlib/Data/Vec/All/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Vec/All/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Any.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Any.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Base.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Bounded.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Bounded.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Bounded/
  • usr/share/agda/lib/stdlib/Data/Vec/Bounded/Base.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Bounded/Base.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Categorical.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Categorical.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/DecPropositional.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/DecPropositional.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/DecSetoid.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/DecSetoid.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/Propositional/
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/Propositional/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/Propositional/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Membership/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/N-ary.agda
  • usr/share/agda/lib/stdlib/Data/Vec/N-ary.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Properties/
  • usr/share/agda/lib/stdlib/Data/Vec/Properties/WithK.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Properties/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Recursive.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Recursive.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Recursive/
  • usr/share/agda/lib/stdlib/Data/Vec/Recursive/Categorical.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Recursive/Categorical.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Recursive/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Recursive/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/DecPropositional.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/DecPropositional.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/DecSetoid.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/DecSetoid.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Propositional/
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Equality/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Pointwise/
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Pointwise/Extensional.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Pointwise/Extensional.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Pointwise/Inductive.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Binary/Pointwise/Inductive.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Equality/
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Equality/DecPropositional.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Equality/DecPropositional.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Equality/DecSetoid.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Equality/DecSetoid.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Equality/Propositional.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Equality/Propositional.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Equality/Setoid.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Equality/Setoid.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Pointwise/
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Pointwise/Extensional.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Pointwise/Extensional.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Pointwise/Inductive.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Pointwise/Inductive.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/All.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/All.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/All/
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/All/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/All/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Any.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Any.agdai
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Any/
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Any/Properties.agda
  • usr/share/agda/lib/stdlib/Data/Vec/Relation/Unary/Any/Properties.agdai
  • usr/share/agda/lib/stdlib/Data/W.agda
  • usr/share/agda/lib/stdlib/Data/W.agdai
  • usr/share/agda/lib/stdlib/Data/W/
  • usr/share/agda/lib/stdlib/Data/W/Indexed.agda
  • usr/share/agda/lib/stdlib/Data/W/Indexed.agdai
  • usr/share/agda/lib/stdlib/Data/W/WithK.agda
  • usr/share/agda/lib/stdlib/Data/W/WithK.agdai
  • usr/share/agda/lib/stdlib/Data/Word.agda
  • usr/share/agda/lib/stdlib/Data/Word.agdai
  • usr/share/agda/lib/stdlib/Data/Word/
  • usr/share/agda/lib/stdlib/Data/Word/Unsafe.agda
  • usr/share/agda/lib/stdlib/Data/Word/Unsafe.agdai
  • usr/share/agda/lib/stdlib/Debug/
  • usr/share/agda/lib/stdlib/Debug/Trace.agda
  • usr/share/agda/lib/stdlib/Debug/Trace.agdai
  • usr/share/agda/lib/stdlib/Everything.agda
  • usr/share/agda/lib/stdlib/Everything.agdai
  • usr/share/agda/lib/stdlib/Foreign/
  • usr/share/agda/lib/stdlib/Foreign/Haskell.agda
  • usr/share/agda/lib/stdlib/Foreign/Haskell.agdai
  • usr/share/agda/lib/stdlib/Foreign/Haskell/
  • usr/share/agda/lib/stdlib/Foreign/Haskell/Maybe.agda
  • usr/share/agda/lib/stdlib/Foreign/Haskell/Maybe.agdai
  • usr/share/agda/lib/stdlib/Foreign/Haskell/Pair.agda
  • usr/share/agda/lib/stdlib/Foreign/Haskell/Pair.agdai
  • usr/share/agda/lib/stdlib/Function.agda
  • usr/share/agda/lib/stdlib/Function.agdai
  • usr/share/agda/lib/stdlib/Function/
  • usr/share/agda/lib/stdlib/Function/Bijection.agda
  • usr/share/agda/lib/stdlib/Function/Bijection.agdai
  • usr/share/agda/lib/stdlib/Function/Endomorphism/
  • usr/share/agda/lib/stdlib/Function/Endomorphism/Propositional.agda
  • usr/share/agda/lib/stdlib/Function/Endomorphism/Propositional.agdai
  • usr/share/agda/lib/stdlib/Function/Endomorphism/Setoid.agda
  • usr/share/agda/lib/stdlib/Function/Endomorphism/Setoid.agdai
  • usr/share/agda/lib/stdlib/Function/Equality.agda
  • usr/share/agda/lib/stdlib/Function/Equality.agdai
  • usr/share/agda/lib/stdlib/Function/Equivalence.agda
  • usr/share/agda/lib/stdlib/Function/Equivalence.agdai
  • usr/share/agda/lib/stdlib/Function/HalfAdjointEquivalence.agda
  • usr/share/agda/lib/stdlib/Function/HalfAdjointEquivalence.agdai
  • usr/share/agda/lib/stdlib/Function/Identity/
  • usr/share/agda/lib/stdlib/Function/Identity/Categorical.agda
  • usr/share/agda/lib/stdlib/Function/Identity/Categorical.agdai
  • usr/share/agda/lib/stdlib/Function/Injection.agda
  • usr/share/agda/lib/stdlib/Function/Injection.agdai
  • usr/share/agda/lib/stdlib/Function/Inverse.agda
  • usr/share/agda/lib/stdlib/Function/Inverse.agdai
  • usr/share/agda/lib/stdlib/Function/LeftInverse.agda
  • usr/share/agda/lib/stdlib/Function/LeftInverse.agdai
  • usr/share/agda/lib/stdlib/Function/Nary/
  • usr/share/agda/lib/stdlib/Function/Nary/NonDependent.agda
  • usr/share/agda/lib/stdlib/Function/Nary/NonDependent.agdai
  • usr/share/agda/lib/stdlib/Function/Nary/NonDependent/
  • usr/share/agda/lib/stdlib/Function/Nary/NonDependent/Base.agda
  • usr/share/agda/lib/stdlib/Function/Nary/NonDependent/Base.agdai
  • usr/share/agda/lib/stdlib/Function/Reasoning.agda
  • usr/share/agda/lib/stdlib/Function/Reasoning.agdai
  • usr/share/agda/lib/stdlib/Function/Related.agda
  • usr/share/agda/lib/stdlib/Function/Related.agdai
  • usr/share/agda/lib/stdlib/Function/Related/
  • usr/share/agda/lib/stdlib/Function/Related/TypeIsomorphisms.agda
  • usr/share/agda/lib/stdlib/Function/Related/TypeIsomorphisms.agdai
  • usr/share/agda/lib/stdlib/Function/Related/TypeIsomorphisms/
  • usr/share/agda/lib/stdlib/Function/Related/TypeIsomorphisms/Solver.agda
  • usr/share/agda/lib/stdlib/Function/Related/TypeIsomorphisms/Solver.agdai
  • usr/share/agda/lib/stdlib/Function/Surjection.agda
  • usr/share/agda/lib/stdlib/Function/Surjection.agdai
  • usr/share/agda/lib/stdlib/IO.agda
  • usr/share/agda/lib/stdlib/IO.agdai
  • usr/share/agda/lib/stdlib/IO/
  • usr/share/agda/lib/stdlib/IO/Primitive.agda
  • usr/share/agda/lib/stdlib/IO/Primitive.agdai
  • usr/share/agda/lib/stdlib/Induction.agda
  • usr/share/agda/lib/stdlib/Induction.agdai
  • usr/share/agda/lib/stdlib/Induction/
  • usr/share/agda/lib/stdlib/Induction/Lexicographic.agda
  • usr/share/agda/lib/stdlib/Induction/Lexicographic.agdai
  • usr/share/agda/lib/stdlib/Induction/Nat.agda
  • usr/share/agda/lib/stdlib/Induction/Nat.agdai
  • usr/share/agda/lib/stdlib/Induction/WellFounded.agda
  • usr/share/agda/lib/stdlib/Induction/WellFounded.agdai
  • usr/share/agda/lib/stdlib/Level.agda
  • usr/share/agda/lib/stdlib/Level.agdai
  • usr/share/agda/lib/stdlib/Level/
  • usr/share/agda/lib/stdlib/Level/Literals.agda
  • usr/share/agda/lib/stdlib/Level/Literals.agdai
  • usr/share/agda/lib/stdlib/Record.agda
  • usr/share/agda/lib/stdlib/Record.agdai
  • usr/share/agda/lib/stdlib/Reflection.agda
  • usr/share/agda/lib/stdlib/Reflection.agdai
  • usr/share/agda/lib/stdlib/Relation/
  • usr/share/agda/lib/stdlib/Relation/Binary.agda
  • usr/share/agda/lib/stdlib/Relation/Binary.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/
  • usr/share/agda/lib/stdlib/Relation/Binary/Consequences.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Consequences.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/Equality.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/Equality.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/NonStrict.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/NonStrict.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/Strict.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Extrema/Strict.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/Equality.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/Equality.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/NonStrict.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/NonStrict.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/Strict.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Infimum/Strict.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Point/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Point/Equality.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Point/Equality.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/Equality.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/Equality.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/NonStrict.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/NonStrict.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/Strict.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Add/Supremum/Strict.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Always.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Always.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Equivalence.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Equivalence.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Equivalence/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Equivalence/Properties.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Equivalence/Properties.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/Properties.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/Properties.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/Properties/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Symmetric.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Symmetric.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Transitive.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Transitive.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Transitive/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Transitive/WithK.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Closure/Transitive/WithK.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Constant.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Constant.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Converse.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Converse.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Flip.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Flip.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/FromPred.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/FromPred.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/FromRel.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/FromRel.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Intersection.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Intersection.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/NaturalOrder/
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/NaturalOrder/Left.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/NaturalOrder/Left.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/NaturalOrder/Right.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/NaturalOrder/Right.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Never.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Never.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/NonStrictToStrict.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/NonStrictToStrict.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/On.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/On.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/StrictToNonStrict.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/StrictToNonStrict.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Union.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Construct/Union.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Core.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Core.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/EqReasoning.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/EqReasoning.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/EquivalenceClosure.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/EquivalenceClosure.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/
  • usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Core.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Core.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Quotients.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Quotients.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Quotients/
  • usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/At.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Core.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Heterogeneous/Core.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Core.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Indexed/Homogeneous/Core.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Lattice.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Lattice.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/OrderMorphism.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/OrderMorphism.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/PartialOrderReasoning.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/PartialOrderReasoning.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/PreorderReasoning.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/PreorderReasoning.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/BoundedJoinSemilattice.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/BoundedJoinSemilattice.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/BoundedLattice.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/BoundedLattice.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/BoundedMeetSemilattice.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/BoundedMeetSemilattice.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/DecTotalOrder.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/DecTotalOrder.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/DistributiveLattice.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/DistributiveLattice.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/HeytingAlgebra.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/HeytingAlgebra.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/JoinSemilattice.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/JoinSemilattice.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/Lattice.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/Lattice.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/MeetSemilattice.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/MeetSemilattice.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/Poset.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/Poset.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/Preorder.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/Preorder.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/StrictPartialOrder.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/StrictPartialOrder.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/StrictTotalOrder.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/StrictTotalOrder.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/TotalOrder.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Properties/TotalOrder.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/
  • usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/Core.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/Core.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/TrustMe.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/TrustMe.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/WithK.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/PropositionalEquality/WithK.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Double.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Double.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Single.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Single.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Triple.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Base/Triple.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/MultiSetoid.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/MultiSetoid.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/PartialOrder.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/PartialOrder.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Preorder.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Preorder.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Setoid.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/Setoid.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/StrictPartialOrder.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Reasoning/StrictPartialOrder.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Reflection.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Reflection.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/Rewriting.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/Rewriting.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/SetoidReasoning.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/SetoidReasoning.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/StrictPartialOrderReasoning.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/StrictPartialOrderReasoning.agdai
  • usr/share/agda/lib/stdlib/Relation/Binary/SymmetricClosure.agda
  • usr/share/agda/lib/stdlib/Relation/Binary/SymmetricClosure.agdai
  • usr/share/agda/lib/stdlib/Relation/Nary.agda
  • usr/share/agda/lib/stdlib/Relation/Nary.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary/
  • usr/share/agda/lib/stdlib/Relation/Nullary/Construct/
  • usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/
  • usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Extrema.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Extrema.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Infimum.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Infimum.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Point.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Point.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Supremum.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary/Construct/Add/Supremum.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary/Decidable.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary/Decidable.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary/Decidable/
  • usr/share/agda/lib/stdlib/Relation/Nullary/Decidable/Core.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary/Decidable/Core.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary/Implication.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary/Implication.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary/Negation.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary/Negation.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary/Product.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary/Product.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary/Sum.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary/Sum.agdai
  • usr/share/agda/lib/stdlib/Relation/Nullary/Universe.agda
  • usr/share/agda/lib/stdlib/Relation/Nullary/Universe.agdai
  • usr/share/agda/lib/stdlib/Relation/Unary.agda
  • usr/share/agda/lib/stdlib/Relation/Unary.agdai
  • usr/share/agda/lib/stdlib/Relation/Unary/
  • usr/share/agda/lib/stdlib/Relation/Unary/Closure/
  • usr/share/agda/lib/stdlib/Relation/Unary/Closure/Base.agda
  • usr/share/agda/lib/stdlib/Relation/Unary/Closure/Base.agdai
  • usr/share/agda/lib/stdlib/Relation/Unary/Closure/Preorder.agda
  • usr/share/agda/lib/stdlib/Relation/Unary/Closure/Preorder.agdai
  • usr/share/agda/lib/stdlib/Relation/Unary/Closure/StrictPartialOrder.agda
  • usr/share/agda/lib/stdlib/Relation/Unary/Closure/StrictPartialOrder.agdai
  • usr/share/agda/lib/stdlib/Relation/Unary/Consequences.agda
  • usr/share/agda/lib/stdlib/Relation/Unary/Consequences.agdai
  • usr/share/agda/lib/stdlib/Relation/Unary/Indexed.agda
  • usr/share/agda/lib/stdlib/Relation/Unary/Indexed.agdai
  • usr/share/agda/lib/stdlib/Relation/Unary/PredicateTransformer.agda
  • usr/share/agda/lib/stdlib/Relation/Unary/PredicateTransformer.agdai
  • usr/share/agda/lib/stdlib/Relation/Unary/Properties.agda
  • usr/share/agda/lib/stdlib/Relation/Unary/Properties.agdai
  • usr/share/agda/lib/stdlib/Size.agda
  • usr/share/agda/lib/stdlib/Size.agdai
  • usr/share/agda/lib/stdlib/Strict.agda
  • usr/share/agda/lib/stdlib/Strict.agdai
  • usr/share/agda/lib/stdlib/Text/
  • usr/share/agda/lib/stdlib/Text/Format.agda
  • usr/share/agda/lib/stdlib/Text/Format.agdai
  • usr/share/agda/lib/stdlib/Text/Printf.agda
  • usr/share/agda/lib/stdlib/Text/Printf.agdai
  • usr/share/agda/lib/stdlib/Universe.agda
  • usr/share/agda/lib/stdlib/Universe.agdai
  • usr/share/licenses/
  • usr/share/licenses/agda-stdlib/
  • usr/share/licenses/agda-stdlib/LICENCE