略過導航欄

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/share/doc/agda-stdlib-doc/changelog.Debian.gz
/usr/share/doc/agda-stdlib-doc/changelog.gz
/usr/share/doc/agda-stdlib-doc/copyright
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Bool.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Char.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Coinduction.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Equality.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Float.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.FromNat.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.FromNeg.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.FromString.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.IO.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Int.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.List.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Nat.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Reflection.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Sigma.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Size.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Strict.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.String.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.TrustMe.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Unit.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Word.html
/usr/share/doc/agda-stdlib-doc/html/Agda.Primitive.html
/usr/share/doc/agda-stdlib-doc/html/Agda.css
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.Consequences.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.Core.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Morphism.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Operations.CommutativeMonoid.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Operations.Semiring.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.AbelianGroup.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.Expression.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.CommutativeMonoid.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.DistributiveLattice.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Group.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Lattice.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Ring.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Solver.CommutativeMonoid.Example.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Solver.CommutativeMonoid.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Solver.IdempotentCommutativeMonoid.Example.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Solver.IdempotentCommutativeMonoid.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Solver.Monoid.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Solver.Ring.AlmostCommutativeRing.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Solver.Ring.Lemmas.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Solver.Ring.NaturalCoefficients.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Solver.Ring.Simple.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Solver.Ring.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.Structures.html
/usr/share/doc/agda-stdlib-doc/html/Algebra.html
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.Indexed.html
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.Predicate.html
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.html
/usr/share/doc/agda-stdlib-doc/html/Category.Comonad.html
/usr/share/doc/agda-stdlib-doc/html/Category.Functor.Predicate.html
/usr/share/doc/agda-stdlib-doc/html/Category.Functor.html
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Continuation.html
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Indexed.html
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.All.html
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Predicate.html
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.State.html
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Cofin.Literals.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Cofin.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Colist.Bisimilarity.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Colist.Categorical.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Colist.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Colist.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Conat.Bisimilarity.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Conat.Literals.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Conat.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Conat.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Covec.Bisimilarity.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Covec.Categorical.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Covec.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Covec.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Delay.Bisimilarity.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Delay.Categorical.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Delay.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Delay.html
/usr/share/doc/agda-stdlib-doc/html/Codata.M.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Musical.Cofin.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Musical.Colist.Infinite-merge.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Musical.Colist.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Musical.Conat.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Musical.Costring.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Musical.Covec.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Musical.M.Indexed.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Musical.M.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Musical.Notation.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Musical.Stream.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Stream.Bisimilarity.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Stream.Categorical.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Stream.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Stream.html
/usr/share/doc/agda-stdlib-doc/html/Codata.Thunk.html
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Height.html
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Indexed.html
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Key.html
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.html
/usr/share/doc/agda-stdlib-doc/html/Data.Bin.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Bin.html
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Show.html
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Solver.html
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.html
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.Inefficient.html
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.html
/usr/share/doc/agda-stdlib-doc/html/Data.Char.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.Char.Unsafe.html
/usr/share/doc/agda-stdlib-doc/html/Data.Char.html
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Any.html
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Combinator.html
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Core.html
/usr/share/doc/agda-stdlib-doc/html/Data.Container.FreeMonad.html
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Combinator.html
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Core.html
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.FreeMonad.html
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.html
/usr/share/doc/agda-stdlib-doc/html/Data.Container.html
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceList.html
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceNat.html
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceVec.html
/usr/share/doc/agda-stdlib-doc/html/Data.Digit.html
/usr/share/doc/agda-stdlib-doc/html/Data.Empty.Irrelevant.html
/usr/share/doc/agda-stdlib-doc/html/Data.Empty.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Dec.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Literals.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Permutation.Components.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Permutation.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Example.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.List.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.html
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.html
/usr/share/doc/agda-stdlib-doc/html/Data.Float.Unsafe.html
/usr/share/doc/agda-stdlib-doc/html/Data.Float.html
/usr/share/doc/agda-stdlib-doc/html/Data.Graph.Acyclic.html
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Addition.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Divisibility.html
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Literals.html
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Multiplication.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Solver.html
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Categorical.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Countdown.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Literals.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Membership.DecPropositional.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Membership.DecSetoid.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Membership.Propositional.Properties.Core.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Membership.Propositional.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Membership.Propositional.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Membership.Setoid.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Membership.Setoid.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Categorical.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.BagAndSetEquality.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Equality.DecPropositional.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Equality.DecSetoid.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Equality.Propositional.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Equality.Setoid.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Lex.Core.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Lex.NonStrict.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Lex.Strict.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Permutation.Inductive.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Permutation.Inductive.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Pointwise.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Sublist.Propositional.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Sublist.Propositional.Solver.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Sublist.Propositional.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Subset.Propositional.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Subset.Propositional.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Subset.Setoid.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Relation.Subset.Setoid.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Reverse.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Solver.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Zipper.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.Zipper.html
/usr/share/doc/agda-stdlib-doc/html/Data.List.html
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.Categorical.html
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Coprimality.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.Core.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.Unsafe.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Divisibility.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GeneralisedArithmetic.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.InfinitelyOften.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.LCM.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Literals.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Primality.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.Simple.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Show.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Solver.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Unsafe.html
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.html
/usr/share/doc/agda-stdlib-doc/html/Data.Plus.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.Categorical.Examples.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.Categorical.Left.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.Categorical.Left.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.Categorical.Right.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.Categorical.Right.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.N-ary.Categorical.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.N-ary.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.N-ary.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.Relation.Lex.NonStrict.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.Relation.Lex.Strict.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.Relation.Pointwise.Dependent.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.Relation.Pointwise.NonDependent.html
/usr/share/doc/agda-stdlib-doc/html/Data.Product.html
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.Literals.html
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.html
/usr/share/doc/agda-stdlib-doc/html/Data.ReflexiveClosure.html
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.html
/usr/share/doc/agda-stdlib-doc/html/Data.Star.BoundedVec.html
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Decoration.html
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Environment.html
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Fin.html
/usr/share/doc/agda-stdlib-doc/html/Data.Star.List.html
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Nat.html
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Pointer.html
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Vec.html
/usr/share/doc/agda-stdlib-doc/html/Data.Star.html
/usr/share/doc/agda-stdlib-doc/html/Data.String.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.String.Literals.html
/usr/share/doc/agda-stdlib-doc/html/Data.String.Unsafe.html
/usr/share/doc/agda-stdlib-doc/html/Data.String.html
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.Categorical.Examples.html
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.Categorical.Left.html
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.Categorical.Right.html
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.Relation.Core.html
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.Relation.LeftOrder.html
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.Relation.Pointwise.html
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.html
/usr/share/doc/agda-stdlib-doc/html/Data.Table.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.Table.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Table.Relation.Equality.html
/usr/share/doc/agda-stdlib-doc/html/Data.Table.html
/usr/share/doc/agda-stdlib-doc/html/Data.These.Categorical.Left.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.These.Categorical.Left.html
/usr/share/doc/agda-stdlib-doc/html/Data.These.Categorical.Right.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.These.Categorical.Right.html
/usr/share/doc/agda-stdlib-doc/html/Data.These.html
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.Base.html
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.NonEta.html
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.All.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.All.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Any.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Categorical.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Membership.Propositional.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Membership.Propositional.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.N-ary.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Relation.Equality.DecPropositional.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Relation.Equality.DecSetoid.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Relation.Equality.Propositional.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Relation.Equality.Setoid.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Relation.Pointwise.Extensional.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Relation.Pointwise.Inductive.html
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.html
/usr/share/doc/agda-stdlib-doc/html/Data.W.Indexed.html
/usr/share/doc/agda-stdlib-doc/html/Data.W.html
/usr/share/doc/agda-stdlib-doc/html/Data.Word.Unsafe.html
/usr/share/doc/agda-stdlib-doc/html/Data.Word.html
/usr/share/doc/agda-stdlib-doc/html/Everything.html
/usr/share/doc/agda-stdlib-doc/html/EverythingSafe.html
/usr/share/doc/agda-stdlib-doc/html/Foreign.Haskell.html
/usr/share/doc/agda-stdlib-doc/html/Function.Bijection.html
/usr/share/doc/agda-stdlib-doc/html/Function.Equality.html
/usr/share/doc/agda-stdlib-doc/html/Function.Equivalence.html
/usr/share/doc/agda-stdlib-doc/html/Function.Identity.Categorical.html
/usr/share/doc/agda-stdlib-doc/html/Function.Injection.html
/usr/share/doc/agda-stdlib-doc/html/Function.Inverse.html
/usr/share/doc/agda-stdlib-doc/html/Function.LeftInverse.html
/usr/share/doc/agda-stdlib-doc/html/Function.Reasoning.html
/usr/share/doc/agda-stdlib-doc/html/Function.Related.TypeIsomorphisms.Solver.html
/usr/share/doc/agda-stdlib-doc/html/Function.Related.TypeIsomorphisms.html
/usr/share/doc/agda-stdlib-doc/html/Function.Related.html
/usr/share/doc/agda-stdlib-doc/html/Function.Surjection.html
/usr/share/doc/agda-stdlib-doc/html/Function.html
/usr/share/doc/agda-stdlib-doc/html/IO.Primitive.html
/usr/share/doc/agda-stdlib-doc/html/IO.html
/usr/share/doc/agda-stdlib-doc/html/Induction.Lexicographic.html
/usr/share/doc/agda-stdlib-doc/html/Induction.Nat.html
/usr/share/doc/agda-stdlib-doc/html/Induction.WellFounded.html
/usr/share/doc/agda-stdlib-doc/html/Induction.html
/usr/share/doc/agda-stdlib-doc/html/Level.Literals.html
/usr/share/doc/agda-stdlib-doc/html/Level.html
/usr/share/doc/agda-stdlib-doc/html/README.AVL.html
/usr/share/doc/agda-stdlib-doc/html/README.Case.html
/usr/share/doc/agda-stdlib-doc/html/README.Container.FreeMonad.html
/usr/share/doc/agda-stdlib-doc/html/README.Function.Reasoning.html
/usr/share/doc/agda-stdlib-doc/html/README.Integer.html
/usr/share/doc/agda-stdlib-doc/html/README.Nat.html
/usr/share/doc/agda-stdlib-doc/html/README.Record.html
/usr/share/doc/agda-stdlib-doc/html/README.html
/usr/share/doc/agda-stdlib-doc/html/Record.html
/usr/share/doc/agda-stdlib-doc/html/Reflection.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.Always.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.Closure.Equivalence.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.Closure.Reflexive.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.Closure.ReflexiveTransitive.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.Closure.Symmetric.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.Closure.Transitive.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.Constant.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.Converse.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.Flip.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.FromPred.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.FromRel.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.Never.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.NonStrictToStrict.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.On.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Construct.StrictToNonStrict.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.EqReasoning.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.EquivalenceClosure.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.Core.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.Quotients.Examples.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.Quotients.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Heterogeneous.Construct.At.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Heterogeneous.Core.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Heterogeneous.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Homogeneous.Core.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Homogeneous.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Lattice.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.NonStrictLex.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.Pointwise.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.OrderMorphism.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PartialOrderReasoning.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PreorderReasoning.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.NonStrictLex.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.Pointwise.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.StrictLex.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.BoundedJoinSemilattice.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.BoundedMeetSemilattice.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.DecTotalOrder.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.DistributiveLattice.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.HeytingAlgebra.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.JoinSemilattice.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.Lattice.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.MeetSemilattice.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.Poset.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.Preorder.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.StrictPartialOrder.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.StrictTotalOrder.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.TotalOrder.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.Core.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.TrustMe.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Reflection.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.SetoidReasoning.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sigma.Pointwise.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.StrictPartialOrderReasoning.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sum.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.SymmetricClosure.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Vec.Pointwise.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Decidable.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Implication.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Negation.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Product.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Sum.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Universe.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.Closure.Base.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.Closure.Preorder.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.Closure.StrictPartialOrder.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.Indexed.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.PredicateTransformer.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.Properties.html
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.html
/usr/share/doc/agda-stdlib-doc/html/Size.html
/usr/share/doc/agda-stdlib-doc/html/Strict.html
/usr/share/doc/agda-stdlib-doc/html/Universe.html