agda-stdlib 0.14-1 File List

Package has 474 files and 74 directories.

Back to Package

  • usr/
  • usr/share/
  • usr/share/agda/
  • usr/share/agda/lib/
  • usr/share/agda/lib/prim/
  • usr/share/agda/lib/prim/Algebra.agda
  • usr/share/agda/lib/prim/Algebra.agdai
  • usr/share/agda/lib/prim/Algebra/
  • usr/share/agda/lib/prim/Algebra/CommutativeMonoidSolver.agda
  • usr/share/agda/lib/prim/Algebra/CommutativeMonoidSolver.agdai
  • usr/share/agda/lib/prim/Algebra/CommutativeMonoidSolver/
  • usr/share/agda/lib/prim/Algebra/CommutativeMonoidSolver/Example.agda
  • usr/share/agda/lib/prim/Algebra/CommutativeMonoidSolver/Example.agdai
  • usr/share/agda/lib/prim/Algebra/FunctionProperties.agda
  • usr/share/agda/lib/prim/Algebra/FunctionProperties.agdai
  • usr/share/agda/lib/prim/Algebra/FunctionProperties/
  • usr/share/agda/lib/prim/Algebra/FunctionProperties/Consequences.agda
  • usr/share/agda/lib/prim/Algebra/FunctionProperties/Consequences.agdai
  • usr/share/agda/lib/prim/Algebra/FunctionProperties/Core.agda
  • usr/share/agda/lib/prim/Algebra/FunctionProperties/Core.agdai
  • usr/share/agda/lib/prim/Algebra/IdempotentCommutativeMonoidSolver.agda
  • usr/share/agda/lib/prim/Algebra/IdempotentCommutativeMonoidSolver.agdai
  • usr/share/agda/lib/prim/Algebra/IdempotentCommutativeMonoidSolver/
  • usr/share/agda/lib/prim/Algebra/IdempotentCommutativeMonoidSolver/Example.agda
  • usr/share/agda/lib/prim/Algebra/IdempotentCommutativeMonoidSolver/Example.agdai
  • usr/share/agda/lib/prim/Algebra/Monoid-solver.agda
  • usr/share/agda/lib/prim/Algebra/Monoid-solver.agdai
  • usr/share/agda/lib/prim/Algebra/Morphism.agda
  • usr/share/agda/lib/prim/Algebra/Morphism.agdai
  • usr/share/agda/lib/prim/Algebra/Operations.agda
  • usr/share/agda/lib/prim/Algebra/Operations.agdai
  • usr/share/agda/lib/prim/Algebra/Properties/
  • usr/share/agda/lib/prim/Algebra/Properties/AbelianGroup.agda
  • usr/share/agda/lib/prim/Algebra/Properties/AbelianGroup.agdai
  • usr/share/agda/lib/prim/Algebra/Properties/BooleanAlgebra.agda
  • usr/share/agda/lib/prim/Algebra/Properties/BooleanAlgebra.agdai
  • usr/share/agda/lib/prim/Algebra/Properties/BooleanAlgebra/
  • usr/share/agda/lib/prim/Algebra/Properties/BooleanAlgebra/Expression.agda
  • usr/share/agda/lib/prim/Algebra/Properties/BooleanAlgebra/Expression.agdai
  • usr/share/agda/lib/prim/Algebra/Properties/DistributiveLattice.agda
  • usr/share/agda/lib/prim/Algebra/Properties/DistributiveLattice.agdai
  • usr/share/agda/lib/prim/Algebra/Properties/Group.agda
  • usr/share/agda/lib/prim/Algebra/Properties/Group.agdai
  • usr/share/agda/lib/prim/Algebra/Properties/Lattice.agda
  • usr/share/agda/lib/prim/Algebra/Properties/Lattice.agdai
  • usr/share/agda/lib/prim/Algebra/Properties/Ring.agda
  • usr/share/agda/lib/prim/Algebra/Properties/Ring.agdai
  • usr/share/agda/lib/prim/Algebra/RingSolver.agda
  • usr/share/agda/lib/prim/Algebra/RingSolver.agdai
  • usr/share/agda/lib/prim/Algebra/RingSolver/
  • usr/share/agda/lib/prim/Algebra/RingSolver/AlmostCommutativeRing.agda
  • usr/share/agda/lib/prim/Algebra/RingSolver/AlmostCommutativeRing.agdai
  • usr/share/agda/lib/prim/Algebra/RingSolver/Lemmas.agda
  • usr/share/agda/lib/prim/Algebra/RingSolver/Lemmas.agdai
  • usr/share/agda/lib/prim/Algebra/RingSolver/Natural-coefficients.agda
  • usr/share/agda/lib/prim/Algebra/RingSolver/Natural-coefficients.agdai
  • usr/share/agda/lib/prim/Algebra/RingSolver/Simple.agda
  • usr/share/agda/lib/prim/Algebra/RingSolver/Simple.agdai
  • usr/share/agda/lib/prim/Algebra/Structures.agda
  • usr/share/agda/lib/prim/Algebra/Structures.agdai
  • usr/share/agda/lib/prim/Category/
  • usr/share/agda/lib/prim/Category/Applicative.agda
  • usr/share/agda/lib/prim/Category/Applicative.agdai
  • usr/share/agda/lib/prim/Category/Applicative/
  • usr/share/agda/lib/prim/Category/Applicative/Indexed.agda
  • usr/share/agda/lib/prim/Category/Applicative/Indexed.agdai
  • usr/share/agda/lib/prim/Category/Applicative/Predicate.agda
  • usr/share/agda/lib/prim/Category/Applicative/Predicate.agdai
  • usr/share/agda/lib/prim/Category/Functor.agda
  • usr/share/agda/lib/prim/Category/Functor.agdai
  • usr/share/agda/lib/prim/Category/Functor/
  • usr/share/agda/lib/prim/Category/Functor/Identity.agda
  • usr/share/agda/lib/prim/Category/Functor/Identity.agdai
  • usr/share/agda/lib/prim/Category/Functor/Predicate.agda
  • usr/share/agda/lib/prim/Category/Functor/Predicate.agdai
  • usr/share/agda/lib/prim/Category/Monad.agda
  • usr/share/agda/lib/prim/Category/Monad.agdai
  • usr/share/agda/lib/prim/Category/Monad/
  • usr/share/agda/lib/prim/Category/Monad/Continuation.agda
  • usr/share/agda/lib/prim/Category/Monad/Continuation.agdai
  • usr/share/agda/lib/prim/Category/Monad/Identity.agda
  • usr/share/agda/lib/prim/Category/Monad/Identity.agdai
  • usr/share/agda/lib/prim/Category/Monad/Indexed.agda
  • usr/share/agda/lib/prim/Category/Monad/Indexed.agdai
  • usr/share/agda/lib/prim/Category/Monad/Partiality.agda
  • usr/share/agda/lib/prim/Category/Monad/Partiality.agdai
  • usr/share/agda/lib/prim/Category/Monad/Partiality/
  • usr/share/agda/lib/prim/Category/Monad/Partiality/All.agda
  • usr/share/agda/lib/prim/Category/Monad/Partiality/All.agdai
  • usr/share/agda/lib/prim/Category/Monad/Predicate.agda
  • usr/share/agda/lib/prim/Category/Monad/Predicate.agdai
  • usr/share/agda/lib/prim/Category/Monad/State.agda
  • usr/share/agda/lib/prim/Category/Monad/State.agdai
  • usr/share/agda/lib/prim/Coinduction.agda
  • usr/share/agda/lib/prim/Coinduction.agdai
  • usr/share/agda/lib/prim/Data/
  • usr/share/agda/lib/prim/Data/AVL.agda
  • usr/share/agda/lib/prim/Data/AVL.agdai
  • usr/share/agda/lib/prim/Data/AVL/
  • usr/share/agda/lib/prim/Data/AVL/IndexedMap.agda
  • usr/share/agda/lib/prim/Data/AVL/IndexedMap.agdai
  • usr/share/agda/lib/prim/Data/AVL/Sets.agda
  • usr/share/agda/lib/prim/Data/AVL/Sets.agdai
  • usr/share/agda/lib/prim/Data/Bin.agda
  • usr/share/agda/lib/prim/Data/Bin.agdai
  • usr/share/agda/lib/prim/Data/Bin/
  • usr/share/agda/lib/prim/Data/Bin/Properties.agda
  • usr/share/agda/lib/prim/Data/Bin/Properties.agdai
  • usr/share/agda/lib/prim/Data/Bool.agda
  • usr/share/agda/lib/prim/Data/Bool.agdai
  • usr/share/agda/lib/prim/Data/Bool/
  • usr/share/agda/lib/prim/Data/Bool/Base.agda
  • usr/share/agda/lib/prim/Data/Bool/Base.agdai
  • usr/share/agda/lib/prim/Data/Bool/Properties.agda
  • usr/share/agda/lib/prim/Data/Bool/Properties.agdai
  • usr/share/agda/lib/prim/Data/Bool/Show.agda
  • usr/share/agda/lib/prim/Data/Bool/Show.agdai
  • usr/share/agda/lib/prim/Data/BoundedVec.agda
  • usr/share/agda/lib/prim/Data/BoundedVec.agdai
  • usr/share/agda/lib/prim/Data/BoundedVec/
  • usr/share/agda/lib/prim/Data/BoundedVec/Inefficient.agda
  • usr/share/agda/lib/prim/Data/BoundedVec/Inefficient.agdai
  • usr/share/agda/lib/prim/Data/Char.agda
  • usr/share/agda/lib/prim/Data/Char.agdai
  • usr/share/agda/lib/prim/Data/Char/
  • usr/share/agda/lib/prim/Data/Char/Base.agda
  • usr/share/agda/lib/prim/Data/Char/Base.agdai
  • usr/share/agda/lib/prim/Data/Char/Core.agda
  • usr/share/agda/lib/prim/Data/Char/Core.agdai
  • usr/share/agda/lib/prim/Data/Cofin.agda
  • usr/share/agda/lib/prim/Data/Cofin.agdai
  • usr/share/agda/lib/prim/Data/Colist.agda
  • usr/share/agda/lib/prim/Data/Colist.agdai
  • usr/share/agda/lib/prim/Data/Colist/
  • usr/share/agda/lib/prim/Data/Colist/Infinite-merge.agda
  • usr/share/agda/lib/prim/Data/Colist/Infinite-merge.agdai
  • usr/share/agda/lib/prim/Data/Conat.agda
  • usr/share/agda/lib/prim/Data/Conat.agdai
  • usr/share/agda/lib/prim/Data/Container.agda
  • usr/share/agda/lib/prim/Data/Container.agdai
  • usr/share/agda/lib/prim/Data/Container/
  • usr/share/agda/lib/prim/Data/Container/Any.agda
  • usr/share/agda/lib/prim/Data/Container/Any.agdai
  • usr/share/agda/lib/prim/Data/Container/Combinator.agda
  • usr/share/agda/lib/prim/Data/Container/Combinator.agdai
  • usr/share/agda/lib/prim/Data/Container/FreeMonad.agda
  • usr/share/agda/lib/prim/Data/Container/FreeMonad.agdai
  • usr/share/agda/lib/prim/Data/Container/Indexed.agda
  • usr/share/agda/lib/prim/Data/Container/Indexed.agdai
  • usr/share/agda/lib/prim/Data/Container/Indexed/
  • usr/share/agda/lib/prim/Data/Container/Indexed/Combinator.agda
  • usr/share/agda/lib/prim/Data/Container/Indexed/Combinator.agdai
  • usr/share/agda/lib/prim/Data/Container/Indexed/Core.agda
  • usr/share/agda/lib/prim/Data/Container/Indexed/Core.agdai
  • usr/share/agda/lib/prim/Data/Container/Indexed/FreeMonad.agda
  • usr/share/agda/lib/prim/Data/Container/Indexed/FreeMonad.agdai
  • usr/share/agda/lib/prim/Data/Covec.agda
  • usr/share/agda/lib/prim/Data/Covec.agdai
  • usr/share/agda/lib/prim/Data/DifferenceList.agda
  • usr/share/agda/lib/prim/Data/DifferenceList.agdai
  • usr/share/agda/lib/prim/Data/DifferenceNat.agda
  • usr/share/agda/lib/prim/Data/DifferenceNat.agdai
  • usr/share/agda/lib/prim/Data/DifferenceVec.agda
  • usr/share/agda/lib/prim/Data/DifferenceVec.agdai
  • usr/share/agda/lib/prim/Data/Digit.agda
  • usr/share/agda/lib/prim/Data/Digit.agdai
  • usr/share/agda/lib/prim/Data/Empty.agda
  • usr/share/agda/lib/prim/Data/Empty.agdai
  • usr/share/agda/lib/prim/Data/Empty/
  • usr/share/agda/lib/prim/Data/Empty/Irrelevant.agda
  • usr/share/agda/lib/prim/Data/Empty/Irrelevant.agdai
  • usr/share/agda/lib/prim/Data/Fin.agda
  • usr/share/agda/lib/prim/Data/Fin.agdai
  • usr/share/agda/lib/prim/Data/Fin/
  • usr/share/agda/lib/prim/Data/Fin/Dec.agda
  • usr/share/agda/lib/prim/Data/Fin/Dec.agdai
  • usr/share/agda/lib/prim/Data/Fin/Properties.agda
  • usr/share/agda/lib/prim/Data/Fin/Properties.agdai
  • usr/share/agda/lib/prim/Data/Fin/Subset.agda
  • usr/share/agda/lib/prim/Data/Fin/Subset.agdai
  • usr/share/agda/lib/prim/Data/Fin/Subset/
  • usr/share/agda/lib/prim/Data/Fin/Subset/Properties.agda
  • usr/share/agda/lib/prim/Data/Fin/Subset/Properties.agdai
  • usr/share/agda/lib/prim/Data/Fin/Substitution.agda
  • usr/share/agda/lib/prim/Data/Fin/Substitution.agdai
  • usr/share/agda/lib/prim/Data/Fin/Substitution/
  • usr/share/agda/lib/prim/Data/Fin/Substitution/Example.agda
  • usr/share/agda/lib/prim/Data/Fin/Substitution/Example.agdai
  • usr/share/agda/lib/prim/Data/Fin/Substitution/Lemmas.agda
  • usr/share/agda/lib/prim/Data/Fin/Substitution/Lemmas.agdai
  • usr/share/agda/lib/prim/Data/Fin/Substitution/List.agda
  • usr/share/agda/lib/prim/Data/Fin/Substitution/List.agdai
  • usr/share/agda/lib/prim/Data/Float.agda
  • usr/share/agda/lib/prim/Data/Float.agdai
  • usr/share/agda/lib/prim/Data/Graph/
  • usr/share/agda/lib/prim/Data/Graph/Acyclic.agda
  • usr/share/agda/lib/prim/Data/Graph/Acyclic.agdai
  • usr/share/agda/lib/prim/Data/Integer.agda
  • usr/share/agda/lib/prim/Data/Integer.agdai
  • usr/share/agda/lib/prim/Data/Integer/
  • usr/share/agda/lib/prim/Data/Integer/Addition/
  • usr/share/agda/lib/prim/Data/Integer/Addition/Properties.agda
  • usr/share/agda/lib/prim/Data/Integer/Addition/Properties.agdai
  • usr/share/agda/lib/prim/Data/Integer/Base.agda
  • usr/share/agda/lib/prim/Data/Integer/Base.agdai
  • usr/share/agda/lib/prim/Data/Integer/Divisibility.agda
  • usr/share/agda/lib/prim/Data/Integer/Divisibility.agdai
  • usr/share/agda/lib/prim/Data/Integer/Multiplication/
  • usr/share/agda/lib/prim/Data/Integer/Multiplication/Properties.agda
  • usr/share/agda/lib/prim/Data/Integer/Multiplication/Properties.agdai
  • usr/share/agda/lib/prim/Data/Integer/Properties.agda
  • usr/share/agda/lib/prim/Data/Integer/Properties.agdai
  • usr/share/agda/lib/prim/Data/List.agda
  • usr/share/agda/lib/prim/Data/List.agdai
  • usr/share/agda/lib/prim/Data/List/
  • usr/share/agda/lib/prim/Data/List/All.agda
  • usr/share/agda/lib/prim/Data/List/All.agdai
  • usr/share/agda/lib/prim/Data/List/All/
  • usr/share/agda/lib/prim/Data/List/All/Properties.agda
  • usr/share/agda/lib/prim/Data/List/All/Properties.agdai
  • usr/share/agda/lib/prim/Data/List/Any.agda
  • usr/share/agda/lib/prim/Data/List/Any.agdai
  • usr/share/agda/lib/prim/Data/List/Any/
  • usr/share/agda/lib/prim/Data/List/Any/BagAndSetEquality.agda
  • usr/share/agda/lib/prim/Data/List/Any/BagAndSetEquality.agdai
  • usr/share/agda/lib/prim/Data/List/Any/Membership.agda
  • usr/share/agda/lib/prim/Data/List/Any/Membership.agdai
  • usr/share/agda/lib/prim/Data/List/Any/Membership/
  • usr/share/agda/lib/prim/Data/List/Any/Membership/Properties.agda
  • usr/share/agda/lib/prim/Data/List/Any/Membership/Properties.agdai
  • usr/share/agda/lib/prim/Data/List/Any/Membership/Propositional.agda
  • usr/share/agda/lib/prim/Data/List/Any/Membership/Propositional.agdai
  • usr/share/agda/lib/prim/Data/List/Any/Membership/Propositional/
  • usr/share/agda/lib/prim/Data/List/Any/Membership/Propositional/Properties.agda
  • usr/share/agda/lib/prim/Data/List/Any/Membership/Propositional/Properties.agdai
  • usr/share/agda/lib/prim/Data/List/Any/Properties.agda
  • usr/share/agda/lib/prim/Data/List/Any/Properties.agdai
  • usr/share/agda/lib/prim/Data/List/Base.agda
  • usr/share/agda/lib/prim/Data/List/Base.agdai
  • usr/share/agda/lib/prim/Data/List/Countdown.agda
  • usr/share/agda/lib/prim/Data/List/Countdown.agdai
  • usr/share/agda/lib/prim/Data/List/NonEmpty.agda
  • usr/share/agda/lib/prim/Data/List/NonEmpty.agdai
  • usr/share/agda/lib/prim/Data/List/NonEmpty/
  • usr/share/agda/lib/prim/Data/List/NonEmpty/Properties.agda
  • usr/share/agda/lib/prim/Data/List/NonEmpty/Properties.agdai
  • usr/share/agda/lib/prim/Data/List/Properties.agda
  • usr/share/agda/lib/prim/Data/List/Properties.agdai
  • usr/share/agda/lib/prim/Data/List/Reverse.agda
  • usr/share/agda/lib/prim/Data/List/Reverse.agdai
  • usr/share/agda/lib/prim/Data/M.agda
  • usr/share/agda/lib/prim/Data/M.agdai
  • usr/share/agda/lib/prim/Data/M/
  • usr/share/agda/lib/prim/Data/M/Indexed.agda
  • usr/share/agda/lib/prim/Data/M/Indexed.agdai
  • usr/share/agda/lib/prim/Data/Maybe.agda
  • usr/share/agda/lib/prim/Data/Maybe.agdai
  • usr/share/agda/lib/prim/Data/Maybe/
  • usr/share/agda/lib/prim/Data/Maybe/Base.agda
  • usr/share/agda/lib/prim/Data/Maybe/Base.agdai
  • usr/share/agda/lib/prim/Data/Nat.agda
  • usr/share/agda/lib/prim/Data/Nat.agdai
  • usr/share/agda/lib/prim/Data/Nat/
  • usr/share/agda/lib/prim/Data/Nat/Base.agda
  • usr/share/agda/lib/prim/Data/Nat/Base.agdai
  • usr/share/agda/lib/prim/Data/Nat/Coprimality.agda
  • usr/share/agda/lib/prim/Data/Nat/Coprimality.agdai
  • usr/share/agda/lib/prim/Data/Nat/DivMod.agda
  • usr/share/agda/lib/prim/Data/Nat/DivMod.agdai
  • usr/share/agda/lib/prim/Data/Nat/Divisibility.agda
  • usr/share/agda/lib/prim/Data/Nat/Divisibility.agdai
  • usr/share/agda/lib/prim/Data/Nat/GCD.agda
  • usr/share/agda/lib/prim/Data/Nat/GCD.agdai
  • usr/share/agda/lib/prim/Data/Nat/GCD/
  • usr/share/agda/lib/prim/Data/Nat/GCD/Lemmas.agda
  • usr/share/agda/lib/prim/Data/Nat/GCD/Lemmas.agdai
  • usr/share/agda/lib/prim/Data/Nat/GeneralisedArithmetic.agda
  • usr/share/agda/lib/prim/Data/Nat/GeneralisedArithmetic.agdai
  • usr/share/agda/lib/prim/Data/Nat/InfinitelyOften.agda
  • usr/share/agda/lib/prim/Data/Nat/InfinitelyOften.agdai
  • usr/share/agda/lib/prim/Data/Nat/LCM.agda
  • usr/share/agda/lib/prim/Data/Nat/LCM.agdai
  • usr/share/agda/lib/prim/Data/Nat/Primality.agda
  • usr/share/agda/lib/prim/Data/Nat/Primality.agdai
  • usr/share/agda/lib/prim/Data/Nat/Properties.agda
  • usr/share/agda/lib/prim/Data/Nat/Properties.agdai
  • usr/share/agda/lib/prim/Data/Nat/Properties/
  • usr/share/agda/lib/prim/Data/Nat/Properties/Simple.agda
  • usr/share/agda/lib/prim/Data/Nat/Properties/Simple.agdai
  • usr/share/agda/lib/prim/Data/Nat/Show.agda
  • usr/share/agda/lib/prim/Data/Nat/Show.agdai
  • usr/share/agda/lib/prim/Data/Plus.agda
  • usr/share/agda/lib/prim/Data/Plus.agdai
  • usr/share/agda/lib/prim/Data/Product.agda
  • usr/share/agda/lib/prim/Data/Product.agdai
  • usr/share/agda/lib/prim/Data/Product/
  • usr/share/agda/lib/prim/Data/Product/N-ary.agda
  • usr/share/agda/lib/prim/Data/Product/N-ary.agdai
  • usr/share/agda/lib/prim/Data/Rational.agda
  • usr/share/agda/lib/prim/Data/Rational.agdai
  • usr/share/agda/lib/prim/Data/Rational/
  • usr/share/agda/lib/prim/Data/Rational/Properties.agda
  • usr/share/agda/lib/prim/Data/Rational/Properties.agdai
  • usr/share/agda/lib/prim/Data/ReflexiveClosure.agda
  • usr/share/agda/lib/prim/Data/ReflexiveClosure.agdai
  • usr/share/agda/lib/prim/Data/Sign.agda
  • usr/share/agda/lib/prim/Data/Sign.agdai
  • usr/share/agda/lib/prim/Data/Sign/
  • usr/share/agda/lib/prim/Data/Sign/Properties.agda
  • usr/share/agda/lib/prim/Data/Sign/Properties.agdai
  • usr/share/agda/lib/prim/Data/Star.agda
  • usr/share/agda/lib/prim/Data/Star.agdai
  • usr/share/agda/lib/prim/Data/Star/
  • usr/share/agda/lib/prim/Data/Star/BoundedVec.agda
  • usr/share/agda/lib/prim/Data/Star/BoundedVec.agdai
  • usr/share/agda/lib/prim/Data/Star/Decoration.agda
  • usr/share/agda/lib/prim/Data/Star/Decoration.agdai
  • usr/share/agda/lib/prim/Data/Star/Environment.agda
  • usr/share/agda/lib/prim/Data/Star/Environment.agdai
  • usr/share/agda/lib/prim/Data/Star/Fin.agda
  • usr/share/agda/lib/prim/Data/Star/Fin.agdai
  • usr/share/agda/lib/prim/Data/Star/List.agda
  • usr/share/agda/lib/prim/Data/Star/List.agdai
  • usr/share/agda/lib/prim/Data/Star/Nat.agda
  • usr/share/agda/lib/prim/Data/Star/Nat.agdai
  • usr/share/agda/lib/prim/Data/Star/Pointer.agda
  • usr/share/agda/lib/prim/Data/Star/Pointer.agdai
  • usr/share/agda/lib/prim/Data/Star/Properties.agda
  • usr/share/agda/lib/prim/Data/Star/Properties.agdai
  • usr/share/agda/lib/prim/Data/Star/Vec.agda
  • usr/share/agda/lib/prim/Data/Star/Vec.agdai
  • usr/share/agda/lib/prim/Data/Stream.agda
  • usr/share/agda/lib/prim/Data/Stream.agdai
  • usr/share/agda/lib/prim/Data/String.agda
  • usr/share/agda/lib/prim/Data/String.agdai
  • usr/share/agda/lib/prim/Data/String/
  • usr/share/agda/lib/prim/Data/String/Base.agda
  • usr/share/agda/lib/prim/Data/String/Base.agdai
  • usr/share/agda/lib/prim/Data/Sum.agda
  • usr/share/agda/lib/prim/Data/Sum.agdai
  • usr/share/agda/lib/prim/Data/Unit.agda
  • usr/share/agda/lib/prim/Data/Unit.agdai
  • usr/share/agda/lib/prim/Data/Unit/
  • usr/share/agda/lib/prim/Data/Unit/Base.agda
  • usr/share/agda/lib/prim/Data/Unit/Base.agdai
  • usr/share/agda/lib/prim/Data/Unit/NonEta.agda
  • usr/share/agda/lib/prim/Data/Unit/NonEta.agdai
  • usr/share/agda/lib/prim/Data/Vec.agda
  • usr/share/agda/lib/prim/Data/Vec.agdai
  • usr/share/agda/lib/prim/Data/Vec/
  • usr/share/agda/lib/prim/Data/Vec/All.agda
  • usr/share/agda/lib/prim/Data/Vec/All.agdai
  • usr/share/agda/lib/prim/Data/Vec/All/
  • usr/share/agda/lib/prim/Data/Vec/All/Properties.agda
  • usr/share/agda/lib/prim/Data/Vec/All/Properties.agdai
  • usr/share/agda/lib/prim/Data/Vec/Equality.agda
  • usr/share/agda/lib/prim/Data/Vec/Equality.agdai
  • usr/share/agda/lib/prim/Data/Vec/N-ary.agda
  • usr/share/agda/lib/prim/Data/Vec/N-ary.agdai
  • usr/share/agda/lib/prim/Data/Vec/Properties.agda
  • usr/share/agda/lib/prim/Data/Vec/Properties.agdai
  • usr/share/agda/lib/prim/Data/W.agda
  • usr/share/agda/lib/prim/Data/W.agdai
  • usr/share/agda/lib/prim/Data/W/
  • usr/share/agda/lib/prim/Data/W/Indexed.agda
  • usr/share/agda/lib/prim/Data/W/Indexed.agdai
  • usr/share/agda/lib/prim/Everything.agda
  • usr/share/agda/lib/prim/Everything.agdai
  • usr/share/agda/lib/prim/Foreign/
  • usr/share/agda/lib/prim/Foreign/Haskell.agda
  • usr/share/agda/lib/prim/Foreign/Haskell.agdai
  • usr/share/agda/lib/prim/Function.agda
  • usr/share/agda/lib/prim/Function.agdai
  • usr/share/agda/lib/prim/Function/
  • usr/share/agda/lib/prim/Function/Bijection.agda
  • usr/share/agda/lib/prim/Function/Bijection.agdai
  • usr/share/agda/lib/prim/Function/Equality.agda
  • usr/share/agda/lib/prim/Function/Equality.agdai
  • usr/share/agda/lib/prim/Function/Equivalence.agda
  • usr/share/agda/lib/prim/Function/Equivalence.agdai
  • usr/share/agda/lib/prim/Function/Injection.agda
  • usr/share/agda/lib/prim/Function/Injection.agdai
  • usr/share/agda/lib/prim/Function/Inverse.agda
  • usr/share/agda/lib/prim/Function/Inverse.agdai
  • usr/share/agda/lib/prim/Function/LeftInverse.agda
  • usr/share/agda/lib/prim/Function/LeftInverse.agdai
  • usr/share/agda/lib/prim/Function/Related.agda
  • usr/share/agda/lib/prim/Function/Related.agdai
  • usr/share/agda/lib/prim/Function/Related/
  • usr/share/agda/lib/prim/Function/Related/TypeIsomorphisms.agda
  • usr/share/agda/lib/prim/Function/Related/TypeIsomorphisms.agdai
  • usr/share/agda/lib/prim/Function/Surjection.agda
  • usr/share/agda/lib/prim/Function/Surjection.agdai
  • usr/share/agda/lib/prim/IO.agda
  • usr/share/agda/lib/prim/IO.agdai
  • usr/share/agda/lib/prim/IO/
  • usr/share/agda/lib/prim/IO/Primitive.agda
  • usr/share/agda/lib/prim/IO/Primitive.agdai
  • usr/share/agda/lib/prim/Induction.agda
  • usr/share/agda/lib/prim/Induction.agdai
  • usr/share/agda/lib/prim/Induction/
  • usr/share/agda/lib/prim/Induction/Lexicographic.agda
  • usr/share/agda/lib/prim/Induction/Lexicographic.agdai
  • usr/share/agda/lib/prim/Induction/Nat.agda
  • usr/share/agda/lib/prim/Induction/Nat.agdai
  • usr/share/agda/lib/prim/Induction/WellFounded.agda
  • usr/share/agda/lib/prim/Induction/WellFounded.agdai
  • usr/share/agda/lib/prim/Level.agda
  • usr/share/agda/lib/prim/Level.agdai
  • usr/share/agda/lib/prim/Record.agda
  • usr/share/agda/lib/prim/Record.agdai
  • usr/share/agda/lib/prim/Reflection.agda
  • usr/share/agda/lib/prim/Reflection.agdai
  • usr/share/agda/lib/prim/Relation/
  • usr/share/agda/lib/prim/Relation/Binary.agda
  • usr/share/agda/lib/prim/Relation/Binary.agdai
  • usr/share/agda/lib/prim/Relation/Binary/
  • usr/share/agda/lib/prim/Relation/Binary/Consequences.agda
  • usr/share/agda/lib/prim/Relation/Binary/Consequences.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Consequences/
  • usr/share/agda/lib/prim/Relation/Binary/Consequences/Core.agda
  • usr/share/agda/lib/prim/Relation/Binary/Consequences/Core.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Core.agda
  • usr/share/agda/lib/prim/Relation/Binary/Core.agdai
  • usr/share/agda/lib/prim/Relation/Binary/EqReasoning.agda
  • usr/share/agda/lib/prim/Relation/Binary/EqReasoning.agdai
  • usr/share/agda/lib/prim/Relation/Binary/EquivalenceClosure.agda
  • usr/share/agda/lib/prim/Relation/Binary/EquivalenceClosure.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Flip.agda
  • usr/share/agda/lib/prim/Relation/Binary/Flip.agdai
  • usr/share/agda/lib/prim/Relation/Binary/HeterogeneousEquality.agda
  • usr/share/agda/lib/prim/Relation/Binary/HeterogeneousEquality.agdai
  • usr/share/agda/lib/prim/Relation/Binary/HeterogeneousEquality/
  • usr/share/agda/lib/prim/Relation/Binary/HeterogeneousEquality/Core.agda
  • usr/share/agda/lib/prim/Relation/Binary/HeterogeneousEquality/Core.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Indexed.agda
  • usr/share/agda/lib/prim/Relation/Binary/Indexed.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Indexed/
  • usr/share/agda/lib/prim/Relation/Binary/Indexed/Core.agda
  • usr/share/agda/lib/prim/Relation/Binary/Indexed/Core.agdai
  • usr/share/agda/lib/prim/Relation/Binary/InducedPreorders.agda
  • usr/share/agda/lib/prim/Relation/Binary/InducedPreorders.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Lattice.agda
  • usr/share/agda/lib/prim/Relation/Binary/Lattice.agdai
  • usr/share/agda/lib/prim/Relation/Binary/List/
  • usr/share/agda/lib/prim/Relation/Binary/List/NonStrictLex.agda
  • usr/share/agda/lib/prim/Relation/Binary/List/NonStrictLex.agdai
  • usr/share/agda/lib/prim/Relation/Binary/List/Pointwise.agda
  • usr/share/agda/lib/prim/Relation/Binary/List/Pointwise.agdai
  • usr/share/agda/lib/prim/Relation/Binary/List/StrictLex.agda
  • usr/share/agda/lib/prim/Relation/Binary/List/StrictLex.agdai
  • usr/share/agda/lib/prim/Relation/Binary/NonStrictToStrict.agda
  • usr/share/agda/lib/prim/Relation/Binary/NonStrictToStrict.agdai
  • usr/share/agda/lib/prim/Relation/Binary/On.agda
  • usr/share/agda/lib/prim/Relation/Binary/On.agdai
  • usr/share/agda/lib/prim/Relation/Binary/OrderMorphism.agda
  • usr/share/agda/lib/prim/Relation/Binary/OrderMorphism.agdai
  • usr/share/agda/lib/prim/Relation/Binary/PartialOrderReasoning.agda
  • usr/share/agda/lib/prim/Relation/Binary/PartialOrderReasoning.agdai
  • usr/share/agda/lib/prim/Relation/Binary/PreorderReasoning.agda
  • usr/share/agda/lib/prim/Relation/Binary/PreorderReasoning.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Product/
  • usr/share/agda/lib/prim/Relation/Binary/Product/NonStrictLex.agda
  • usr/share/agda/lib/prim/Relation/Binary/Product/NonStrictLex.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Product/Pointwise.agda
  • usr/share/agda/lib/prim/Relation/Binary/Product/Pointwise.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Product/StrictLex.agda
  • usr/share/agda/lib/prim/Relation/Binary/Product/StrictLex.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Properties/
  • usr/share/agda/lib/prim/Relation/Binary/Properties/BoundedJoinSemilattice.agda
  • usr/share/agda/lib/prim/Relation/Binary/Properties/BoundedJoinSemilattice.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Properties/BoundedMeetSemilattice.agda
  • usr/share/agda/lib/prim/Relation/Binary/Properties/BoundedMeetSemilattice.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Properties/DecTotalOrder.agda
  • usr/share/agda/lib/prim/Relation/Binary/Properties/DecTotalOrder.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Properties/JoinSemilattice.agda
  • usr/share/agda/lib/prim/Relation/Binary/Properties/JoinSemilattice.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Properties/Lattice.agda
  • usr/share/agda/lib/prim/Relation/Binary/Properties/Lattice.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Properties/MeetSemilattice.agda
  • usr/share/agda/lib/prim/Relation/Binary/Properties/MeetSemilattice.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Properties/Poset.agda
  • usr/share/agda/lib/prim/Relation/Binary/Properties/Poset.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Properties/Preorder.agda
  • usr/share/agda/lib/prim/Relation/Binary/Properties/Preorder.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Properties/StrictPartialOrder.agda
  • usr/share/agda/lib/prim/Relation/Binary/Properties/StrictPartialOrder.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Properties/StrictTotalOrder.agda
  • usr/share/agda/lib/prim/Relation/Binary/Properties/StrictTotalOrder.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Properties/TotalOrder.agda
  • usr/share/agda/lib/prim/Relation/Binary/Properties/TotalOrder.agdai
  • usr/share/agda/lib/prim/Relation/Binary/PropositionalEquality.agda
  • usr/share/agda/lib/prim/Relation/Binary/PropositionalEquality.agdai
  • usr/share/agda/lib/prim/Relation/Binary/PropositionalEquality/
  • usr/share/agda/lib/prim/Relation/Binary/PropositionalEquality/Core.agda
  • usr/share/agda/lib/prim/Relation/Binary/PropositionalEquality/Core.agdai
  • usr/share/agda/lib/prim/Relation/Binary/PropositionalEquality/TrustMe.agda
  • usr/share/agda/lib/prim/Relation/Binary/PropositionalEquality/TrustMe.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Reflection.agda
  • usr/share/agda/lib/prim/Relation/Binary/Reflection.agdai
  • usr/share/agda/lib/prim/Relation/Binary/SetoidReasoning.agda
  • usr/share/agda/lib/prim/Relation/Binary/SetoidReasoning.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Sigma/
  • usr/share/agda/lib/prim/Relation/Binary/Sigma/Pointwise.agda
  • usr/share/agda/lib/prim/Relation/Binary/Sigma/Pointwise.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Simple.agda
  • usr/share/agda/lib/prim/Relation/Binary/Simple.agdai
  • usr/share/agda/lib/prim/Relation/Binary/StrictPartialOrderReasoning.agda
  • usr/share/agda/lib/prim/Relation/Binary/StrictPartialOrderReasoning.agdai
  • usr/share/agda/lib/prim/Relation/Binary/StrictToNonStrict.agda
  • usr/share/agda/lib/prim/Relation/Binary/StrictToNonStrict.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Sum.agda
  • usr/share/agda/lib/prim/Relation/Binary/Sum.agdai
  • usr/share/agda/lib/prim/Relation/Binary/SymmetricClosure.agda
  • usr/share/agda/lib/prim/Relation/Binary/SymmetricClosure.agdai
  • usr/share/agda/lib/prim/Relation/Binary/Vec/
  • usr/share/agda/lib/prim/Relation/Binary/Vec/Pointwise.agda
  • usr/share/agda/lib/prim/Relation/Binary/Vec/Pointwise.agdai
  • usr/share/agda/lib/prim/Relation/Nullary.agda
  • usr/share/agda/lib/prim/Relation/Nullary.agdai
  • usr/share/agda/lib/prim/Relation/Nullary/
  • usr/share/agda/lib/prim/Relation/Nullary/Decidable.agda
  • usr/share/agda/lib/prim/Relation/Nullary/Decidable.agdai
  • usr/share/agda/lib/prim/Relation/Nullary/Implication.agda
  • usr/share/agda/lib/prim/Relation/Nullary/Implication.agdai
  • usr/share/agda/lib/prim/Relation/Nullary/Negation.agda
  • usr/share/agda/lib/prim/Relation/Nullary/Negation.agdai
  • usr/share/agda/lib/prim/Relation/Nullary/Product.agda
  • usr/share/agda/lib/prim/Relation/Nullary/Product.agdai
  • usr/share/agda/lib/prim/Relation/Nullary/Sum.agda
  • usr/share/agda/lib/prim/Relation/Nullary/Sum.agdai
  • usr/share/agda/lib/prim/Relation/Nullary/Universe.agda
  • usr/share/agda/lib/prim/Relation/Nullary/Universe.agdai
  • usr/share/agda/lib/prim/Relation/Unary.agda
  • usr/share/agda/lib/prim/Relation/Unary.agdai
  • usr/share/agda/lib/prim/Relation/Unary/
  • usr/share/agda/lib/prim/Relation/Unary/PredicateTransformer.agda
  • usr/share/agda/lib/prim/Relation/Unary/PredicateTransformer.agdai
  • usr/share/agda/lib/prim/Size.agda
  • usr/share/agda/lib/prim/Size.agdai
  • usr/share/agda/lib/prim/Strict.agda
  • usr/share/agda/lib/prim/Strict.agdai
  • usr/share/agda/lib/prim/Universe.agda
  • usr/share/agda/lib/prim/Universe.agdai
  • usr/share/agda/lib/prim/index.agda
  • usr/share/licenses/
  • usr/share/licenses/agda-stdlib/
  • usr/share/licenses/agda-stdlib/LICENCE