File list of package agda-stdlib-doc in trixie of architecture all

/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/html/Agda.Builtin.Bool.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Char.Properties.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Char.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Coinduction.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Equality.Erase.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Equality.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Float.Properties.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Float.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.FromNat.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.FromNeg.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.FromString.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.IO.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Int.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.List.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Maybe.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Nat.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Reflection.External.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Reflection.Properties.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Reflection.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Sigma.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Size.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Strict.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.String.Properties.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.String.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.TrustMe.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Unit.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Word.Properties.html
/usr/share/doc/agda-stdlib/html/Agda.Builtin.Word.html
/usr/share/doc/agda-stdlib/html/Agda.Primitive.html
/usr/share/doc/agda-stdlib/html/Agda.css
/usr/share/doc/agda-stdlib/html/Algebra.Apartness.Bundles.html
/usr/share/doc/agda-stdlib/html/Algebra.Apartness.Properties.HeytingCommutativeRing.html
/usr/share/doc/agda-stdlib/html/Algebra.Apartness.Structures.html
/usr/share/doc/agda-stdlib/html/Algebra.Apartness.html
/usr/share/doc/agda-stdlib/html/Algebra.Bundles.Raw.html
/usr/share/doc/agda-stdlib/html/Algebra.Bundles.html
/usr/share/doc/agda-stdlib/html/Algebra.Consequences.Base.html
/usr/share/doc/agda-stdlib/html/Algebra.Consequences.Propositional.html
/usr/share/doc/agda-stdlib/html/Algebra.Consequences.Setoid.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.Add.Identity.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.DirectProduct.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.Flip.Op.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.Initial.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.LexProduct.Base.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.LexProduct.Inner.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.LexProduct.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.LiftedChoice.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.NaturalChoice.Base.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.NaturalChoice.Max.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.NaturalChoice.MaxOp.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.NaturalChoice.Min.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.NaturalChoice.MinMaxOp.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.NaturalChoice.MinOp.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.Pointwise.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.Subst.Equality.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.Terminal.html
/usr/share/doc/agda-stdlib/html/Algebra.Construct.Zero.html
/usr/share/doc/agda-stdlib/html/Algebra.Core.html
/usr/share/doc/agda-stdlib/html/Algebra.Definitions.RawMagma.html
/usr/share/doc/agda-stdlib/html/Algebra.Definitions.RawMonoid.html
/usr/share/doc/agda-stdlib/html/Algebra.Definitions.RawSemiring.html
/usr/share/doc/agda-stdlib/html/Algebra.Definitions.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Bundles.Raw.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Bundles.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Construct.DirectProduct.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Construct.LiftedChoice.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Construct.NaturalChoice.MaxOp.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Construct.NaturalChoice.MinMaxOp.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Construct.NaturalChoice.MinOp.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Construct.Subst.Equality.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Construct.Zero.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Morphism.Construct.Composition.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Morphism.Construct.Identity.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Morphism.LatticeMonomorphism.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Morphism.Structures.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Morphism.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Properties.BooleanAlgebra.Expression.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Properties.BooleanAlgebra.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Properties.DistributiveLattice.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Properties.Lattice.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Properties.Semilattice.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Structures.Biased.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.Structures.html
/usr/share/doc/agda-stdlib/html/Algebra.Lattice.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Bundles.Raw.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Bundles.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Consequences.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Construct.DirectProduct.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Construct.Idealization.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Construct.TensorUnit.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Construct.Zero.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Core.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Definitions.Bi.Simultaneous.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Definitions.Bi.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Definitions.Left.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Definitions.Right.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Definitions.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Morphism.Construct.Composition.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Morphism.Construct.Identity.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Morphism.Definitions.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Morphism.ModuleHomomorphism.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Morphism.Structures.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Properties.Semimodule.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Properties.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Structures.Biased.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.Structures.html
/usr/share/doc/agda-stdlib/html/Algebra.Module.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.Consequences.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.Construct.Composition.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.Construct.Identity.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.Construct.Initial.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.Construct.Terminal.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.Definitions.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.GroupMonomorphism.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.MagmaMonomorphism.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.MonoidMonomorphism.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.RingMonomorphism.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.Structures.html
/usr/share/doc/agda-stdlib/html/Algebra.Morphism.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.AbelianGroup.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.CancellativeCommutativeSemiring.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.CommutativeMagma.Divisibility.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.CommutativeMonoid.Mult.TCOptimised.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.CommutativeMonoid.Mult.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.CommutativeMonoid.Sum.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.CommutativeMonoid.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.CommutativeSemigroup.Divisibility.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.CommutativeSemigroup.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.CommutativeSemiring.Binomial.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.CommutativeSemiring.Exp.TCOptimised.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.CommutativeSemiring.Exp.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Group.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.KleeneAlgebra.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Loop.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Magma.Divisibility.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.MiddleBolLoop.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Monoid.Divisibility.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Monoid.Mult.TCOptimised.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Monoid.Mult.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Monoid.Sum.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.MoufangLoop.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Quasigroup.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Ring.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.RingWithoutOne.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Semigroup.Divisibility.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Semigroup.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Semiring.Binomial.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Semiring.Divisibility.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Semiring.Exp.TCOptimised.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Semiring.Exp.TailRecursiveOptimised.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Semiring.Exp.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Semiring.Mult.TCOptimised.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Semiring.Mult.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Semiring.Primality.html
/usr/share/doc/agda-stdlib/html/Algebra.Properties.Semiring.Sum.html
/usr/share/doc/agda-stdlib/html/Algebra.Solver.CommutativeMonoid.Example.html
/usr/share/doc/agda-stdlib/html/Algebra.Solver.CommutativeMonoid.html
/usr/share/doc/agda-stdlib/html/Algebra.Solver.IdempotentCommutativeMonoid.Example.html
/usr/share/doc/agda-stdlib/html/Algebra.Solver.IdempotentCommutativeMonoid.html
/usr/share/doc/agda-stdlib/html/Algebra.Solver.Monoid.html
/usr/share/doc/agda-stdlib/html/Algebra.Solver.Ring.AlmostCommutativeRing.html
/usr/share/doc/agda-stdlib/html/Algebra.Solver.Ring.Lemmas.html
/usr/share/doc/agda-stdlib/html/Algebra.Solver.Ring.NaturalCoefficients.Default.html
/usr/share/doc/agda-stdlib/html/Algebra.Solver.Ring.NaturalCoefficients.html
/usr/share/doc/agda-stdlib/html/Algebra.Solver.Ring.Simple.html
/usr/share/doc/agda-stdlib/html/Algebra.Solver.Ring.html
/usr/share/doc/agda-stdlib/html/Algebra.Structures.Biased.html
/usr/share/doc/agda-stdlib/html/Algebra.Structures.html
/usr/share/doc/agda-stdlib/html/Algebra.html
/usr/share/doc/agda-stdlib/html/Axiom.DoubleNegationElimination.html
/usr/share/doc/agda-stdlib/html/Axiom.ExcludedMiddle.html
/usr/share/doc/agda-stdlib/html/Axiom.Extensionality.Heterogeneous.html
/usr/share/doc/agda-stdlib/html/Axiom.Extensionality.Propositional.html
/usr/share/doc/agda-stdlib/html/Axiom.UniquenessOfIdentityProofs.WithK.html
/usr/share/doc/agda-stdlib/html/Axiom.UniquenessOfIdentityProofs.html
/usr/share/doc/agda-stdlib/html/Codata.Guarded.M.html
/usr/share/doc/agda-stdlib/html/Codata.Guarded.Stream.Properties.html
/usr/share/doc/agda-stdlib/html/Codata.Guarded.Stream.Relation.Binary.Pointwise.html
/usr/share/doc/agda-stdlib/html/Codata.Guarded.Stream.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Codata.Guarded.Stream.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/Codata.Guarded.Stream.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Cofin.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Colist.Base.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Colist.Bisimilarity.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Colist.Infinite-merge.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Colist.Properties.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Colist.Relation.Unary.All.Properties.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Colist.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Colist.Relation.Unary.Any.Properties.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Colist.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Colist.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Conat.Base.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Conat.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Conversion.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Costring.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Covec.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.M.Indexed.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.M.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Notation.html
/usr/share/doc/agda-stdlib/html/Codata.Musical.Stream.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Cofin.Literals.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Cofin.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Colist.Bisimilarity.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Colist.Effectful.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Colist.Properties.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Colist.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Conat.Bisimilarity.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Conat.Literals.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Conat.Properties.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Conat.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Covec.Bisimilarity.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Covec.Effectful.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Covec.Instances.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Covec.Properties.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Covec.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Cowriter.Bisimilarity.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Cowriter.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Delay.Bisimilarity.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Delay.Effectful.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Delay.Properties.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Delay.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.M.Bisimilarity.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.M.Properties.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.M.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Stream.Bisimilarity.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Stream.Effectful.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Stream.Instances.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Stream.Properties.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Stream.html
/usr/share/doc/agda-stdlib/html/Codata.Sized.Thunk.html
/usr/share/doc/agda-stdlib/html/Data.Bool.Base.html
/usr/share/doc/agda-stdlib/html/Data.Bool.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Bool.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Bool.Show.html
/usr/share/doc/agda-stdlib/html/Data.Bool.Solver.html
/usr/share/doc/agda-stdlib/html/Data.Bool.html
/usr/share/doc/agda-stdlib/html/Data.Bytestring.Base.html
/usr/share/doc/agda-stdlib/html/Data.Bytestring.Builder.Base.html
/usr/share/doc/agda-stdlib/html/Data.Bytestring.Builder.Primitive.html
/usr/share/doc/agda-stdlib/html/Data.Bytestring.IO.Primitive.html
/usr/share/doc/agda-stdlib/html/Data.Bytestring.IO.html
/usr/share/doc/agda-stdlib/html/Data.Bytestring.Primitive.html
/usr/share/doc/agda-stdlib/html/Data.Char.Base.html
/usr/share/doc/agda-stdlib/html/Data.Char.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Char.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Char.html
/usr/share/doc/agda-stdlib/html/Data.Container.Combinator.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Container.Combinator.html
/usr/share/doc/agda-stdlib/html/Data.Container.Core.html
/usr/share/doc/agda-stdlib/html/Data.Container.Fixpoints.Guarded.html
/usr/share/doc/agda-stdlib/html/Data.Container.Fixpoints.Sized.html
/usr/share/doc/agda-stdlib/html/Data.Container.FreeMonad.html
/usr/share/doc/agda-stdlib/html/Data.Container.Indexed.Combinator.html
/usr/share/doc/agda-stdlib/html/Data.Container.Indexed.Core.html
/usr/share/doc/agda-stdlib/html/Data.Container.Indexed.Fixpoints.Guarded.html
/usr/share/doc/agda-stdlib/html/Data.Container.Indexed.FreeMonad.html
/usr/share/doc/agda-stdlib/html/Data.Container.Indexed.Relation.Binary.Equality.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.Container.Indexed.Relation.Binary.Pointwise.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Container.Indexed.Relation.Binary.Pointwise.html
/usr/share/doc/agda-stdlib/html/Data.Container.Indexed.WithK.html
/usr/share/doc/agda-stdlib/html/Data.Container.Indexed.html
/usr/share/doc/agda-stdlib/html/Data.Container.Membership.html
/usr/share/doc/agda-stdlib/html/Data.Container.Morphism.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Container.Morphism.html
/usr/share/doc/agda-stdlib/html/Data.Container.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Container.Related.html
/usr/share/doc/agda-stdlib/html/Data.Container.Relation.Binary.Equality.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.Container.Relation.Binary.Pointwise.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Container.Relation.Binary.Pointwise.html
/usr/share/doc/agda-stdlib/html/Data.Container.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.Container.Relation.Unary.Any.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Container.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/Data.Container.html
/usr/share/doc/agda-stdlib/html/Data.Default.html
/usr/share/doc/agda-stdlib/html/Data.DifferenceList.html
/usr/share/doc/agda-stdlib/html/Data.DifferenceNat.html
/usr/share/doc/agda-stdlib/html/Data.DifferenceVec.html
/usr/share/doc/agda-stdlib/html/Data.Digit.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Digit.html
/usr/share/doc/agda-stdlib/html/Data.Empty.Irrelevant.html
/usr/share/doc/agda-stdlib/html/Data.Empty.Polymorphic.html
/usr/share/doc/agda-stdlib/html/Data.Empty.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Base.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Induction.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Literals.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Patterns.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Permutation.Components.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Permutation.Transposition.List.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Permutation.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Reflection.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Relation.Unary.Top.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Show.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Subset.Induction.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Subset.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Subset.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Substitution.Lemmas.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Substitution.List.html
/usr/share/doc/agda-stdlib/html/Data.Fin.Substitution.html
/usr/share/doc/agda-stdlib/html/Data.Fin.html
/usr/share/doc/agda-stdlib/html/Data.Float.Base.html
/usr/share/doc/agda-stdlib/html/Data.Float.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Float.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Float.html
/usr/share/doc/agda-stdlib/html/Data.Graph.Acyclic.html
/usr/share/doc/agda-stdlib/html/Data.Integer.Base.html
/usr/share/doc/agda-stdlib/html/Data.Integer.Coprimality.html
/usr/share/doc/agda-stdlib/html/Data.Integer.DivMod.html
/usr/share/doc/agda-stdlib/html/Data.Integer.Divisibility.Signed.html
/usr/share/doc/agda-stdlib/html/Data.Integer.Divisibility.html
/usr/share/doc/agda-stdlib/html/Data.Integer.GCD.html
/usr/share/doc/agda-stdlib/html/Data.Integer.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Integer.LCM.html
/usr/share/doc/agda-stdlib/html/Data.Integer.Literals.html
/usr/share/doc/agda-stdlib/html/Data.Integer.Properties.NatLemmas.html
/usr/share/doc/agda-stdlib/html/Data.Integer.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Integer.Show.html
/usr/share/doc/agda-stdlib/html/Data.Integer.Solver.html
/usr/share/doc/agda-stdlib/html/Data.Integer.Tactic.RingSolver.html
/usr/share/doc/agda-stdlib/html/Data.Integer.html
/usr/share/doc/agda-stdlib/html/Data.Irrelevant.html
/usr/share/doc/agda-stdlib/html/Data.List.Base.html
/usr/share/doc/agda-stdlib/html/Data.List.Countdown.html
/usr/share/doc/agda-stdlib/html/Data.List.Effectful.Transformer.html
/usr/share/doc/agda-stdlib/html/Data.List.Effectful.html
/usr/share/doc/agda-stdlib/html/Data.List.Extrema.Core.html
/usr/share/doc/agda-stdlib/html/Data.List.Extrema.Nat.html
/usr/share/doc/agda-stdlib/html/Data.List.Extrema.html
/usr/share/doc/agda-stdlib/html/Data.List.Fresh.Membership.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Fresh.Membership.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Fresh.NonEmpty.html
/usr/share/doc/agda-stdlib/html/Data.List.Fresh.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Fresh.Relation.Unary.All.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Fresh.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.List.Fresh.Relation.Unary.Any.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Fresh.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/Data.List.Fresh.html
/usr/share/doc/agda-stdlib/html/Data.List.Instances.html
/usr/share/doc/agda-stdlib/html/Data.List.Kleene.AsList.html
/usr/share/doc/agda-stdlib/html/Data.List.Kleene.Base.html
/usr/share/doc/agda-stdlib/html/Data.List.Kleene.html
/usr/share/doc/agda-stdlib/html/Data.List.Literals.html
/usr/share/doc/agda-stdlib/html/Data.List.Membership.DecPropositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Membership.DecSetoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Membership.Propositional.Properties.Core.html
/usr/share/doc/agda-stdlib/html/Data.List.Membership.Propositional.Properties.WithK.html
/usr/share/doc/agda-stdlib/html/Data.List.Membership.Propositional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Membership.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Membership.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Membership.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Nary.NonDependent.html
/usr/share/doc/agda-stdlib/html/Data.List.NonEmpty.Base.html
/usr/share/doc/agda-stdlib/html/Data.List.NonEmpty.Effectful.Transformer.html
/usr/share/doc/agda-stdlib/html/Data.List.NonEmpty.Effectful.html
/usr/share/doc/agda-stdlib/html/Data.List.NonEmpty.Instances.html
/usr/share/doc/agda-stdlib/html/Data.List.NonEmpty.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.NonEmpty.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.List.NonEmpty.html
/usr/share/doc/agda-stdlib/html/Data.List.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Reflection.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.BagAndSetEquality.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Disjoint.DecPropositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Disjoint.DecSetoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Disjoint.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Disjoint.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Disjoint.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Equality.DecPropositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Equality.DecSetoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Equality.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Equality.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Equality.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Infix.Heterogeneous.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Infix.Heterogeneous.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Infix.Homogeneous.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Lex.Core.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Lex.NonStrict.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Lex.Strict.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Lex.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Permutation.Homogeneous.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Permutation.Propositional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Permutation.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Permutation.Setoid.Properties.Maybe.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Permutation.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Permutation.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Pointwise.Base.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Pointwise.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Pointwise.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Prefix.Heterogeneous.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Prefix.Heterogeneous.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Prefix.Homogeneous.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.DecPropositional.Solver.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.DecPropositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.DecSetoid.Solver.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.DecSetoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.Heterogeneous.Core.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.Heterogeneous.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.Heterogeneous.Solver.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.Heterogeneous.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.Propositional.Example.UniqueBoundVariables.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.Propositional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.Propositional.Slice.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Sublist.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Subset.DecPropositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Subset.DecSetoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Subset.Propositional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Subset.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Subset.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Subset.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Suffix.Heterogeneous.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Suffix.Heterogeneous.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Binary.Suffix.Homogeneous.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Appending.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Appending.Propositional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Appending.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Appending.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Appending.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Appending.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Interleaving.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Interleaving.Propositional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Interleaving.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Interleaving.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Interleaving.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Ternary.Interleaving.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.All.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.AllPairs.Core.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.AllPairs.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.AllPairs.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Any.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Enumerates.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Enumerates.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.First.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.First.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Grouped.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Grouped.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Linked.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Linked.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Sorted.TotalOrder.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Sorted.TotalOrder.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Sufficient.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Unique.DecPropositional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Unique.DecPropositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Unique.DecSetoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Unique.DecSetoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Unique.Propositional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Unique.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Unique.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Relation.Unary.Unique.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.List.Reverse.html
/usr/share/doc/agda-stdlib/html/Data.List.Scans.Base.html
/usr/share/doc/agda-stdlib/html/Data.List.Scans.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Show.html
/usr/share/doc/agda-stdlib/html/Data.List.Sort.Base.html
/usr/share/doc/agda-stdlib/html/Data.List.Sort.MergeSort.html
/usr/share/doc/agda-stdlib/html/Data.List.Sort.html
/usr/share/doc/agda-stdlib/html/Data.List.Zipper.Properties.html
/usr/share/doc/agda-stdlib/html/Data.List.Zipper.html
/usr/share/doc/agda-stdlib/html/Data.List.html
/usr/share/doc/agda-stdlib/html/Data.Maybe.Base.html
/usr/share/doc/agda-stdlib/html/Data.Maybe.Effectful.Transformer.html
/usr/share/doc/agda-stdlib/html/Data.Maybe.Effectful.html
/usr/share/doc/agda-stdlib/html/Data.Maybe.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Maybe.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Maybe.Relation.Binary.Connected.html
/usr/share/doc/agda-stdlib/html/Data.Maybe.Relation.Binary.Pointwise.html
/usr/share/doc/agda-stdlib/html/Data.Maybe.Relation.Unary.All.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Maybe.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.Maybe.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/Data.Maybe.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Base.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Binary.Base.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Binary.Induction.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Binary.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Binary.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Binary.Subtraction.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Binary.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Combinatorics.Base.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Combinatorics.Specification.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Combinatorics.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Coprimality.html
/usr/share/doc/agda-stdlib/html/Data.Nat.DivMod.Core.html
/usr/share/doc/agda-stdlib/html/Data.Nat.DivMod.WithK.html
/usr/share/doc/agda-stdlib/html/Data.Nat.DivMod.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Divisibility.Core.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Divisibility.html
/usr/share/doc/agda-stdlib/html/Data.Nat.GCD.Lemmas.html
/usr/share/doc/agda-stdlib/html/Data.Nat.GCD.html
/usr/share/doc/agda-stdlib/html/Data.Nat.GeneralisedArithmetic.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Induction.html
/usr/share/doc/agda-stdlib/html/Data.Nat.InfinitelyOften.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Nat.LCM.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Literals.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Logarithm.Core.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Logarithm.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Primality.Factorisation.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Primality.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Nat.PseudoRandom.LCG.Unsafe.html
/usr/share/doc/agda-stdlib/html/Data.Nat.PseudoRandom.LCG.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Reflection.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Show.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Show.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Solver.html
/usr/share/doc/agda-stdlib/html/Data.Nat.Tactic.RingSolver.html
/usr/share/doc/agda-stdlib/html/Data.Nat.WithK.html
/usr/share/doc/agda-stdlib/html/Data.Nat.html
/usr/share/doc/agda-stdlib/html/Data.Parity.Base.html
/usr/share/doc/agda-stdlib/html/Data.Parity.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Parity.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Parity.html
/usr/share/doc/agda-stdlib/html/Data.Product.Algebra.html
/usr/share/doc/agda-stdlib/html/Data.Product.Base.html
/usr/share/doc/agda-stdlib/html/Data.Product.Effectful.Examples.html
/usr/share/doc/agda-stdlib/html/Data.Product.Effectful.Left.Base.html
/usr/share/doc/agda-stdlib/html/Data.Product.Effectful.Left.html
/usr/share/doc/agda-stdlib/html/Data.Product.Effectful.Right.Base.html
/usr/share/doc/agda-stdlib/html/Data.Product.Effectful.Right.html
/usr/share/doc/agda-stdlib/html/Data.Product.Function.Dependent.Propositional.WithK.html
/usr/share/doc/agda-stdlib/html/Data.Product.Function.Dependent.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.Product.Function.Dependent.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.Product.Function.NonDependent.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.Product.Function.NonDependent.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.Product.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Product.Nary.NonDependent.html
/usr/share/doc/agda-stdlib/html/Data.Product.Properties.Dependent.html
/usr/share/doc/agda-stdlib/html/Data.Product.Properties.WithK.html
/usr/share/doc/agda-stdlib/html/Data.Product.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Product.Relation.Binary.Lex.NonStrict.html
/usr/share/doc/agda-stdlib/html/Data.Product.Relation.Binary.Lex.Strict.html
/usr/share/doc/agda-stdlib/html/Data.Product.Relation.Binary.Pointwise.Dependent.WithK.html
/usr/share/doc/agda-stdlib/html/Data.Product.Relation.Binary.Pointwise.Dependent.html
/usr/share/doc/agda-stdlib/html/Data.Product.Relation.Binary.Pointwise.NonDependent.html
/usr/share/doc/agda-stdlib/html/Data.Product.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.Product.html
/usr/share/doc/agda-stdlib/html/Data.Rational.Base.html
/usr/share/doc/agda-stdlib/html/Data.Rational.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Rational.Literals.html
/usr/share/doc/agda-stdlib/html/Data.Rational.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Rational.Show.html
/usr/share/doc/agda-stdlib/html/Data.Rational.Solver.html
/usr/share/doc/agda-stdlib/html/Data.Rational.Unnormalised.Base.html
/usr/share/doc/agda-stdlib/html/Data.Rational.Unnormalised.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Rational.Unnormalised.Show.html
/usr/share/doc/agda-stdlib/html/Data.Rational.Unnormalised.Solver.html
/usr/share/doc/agda-stdlib/html/Data.Rational.Unnormalised.html
/usr/share/doc/agda-stdlib/html/Data.Rational.html
/usr/share/doc/agda-stdlib/html/Data.Record.html
/usr/share/doc/agda-stdlib/html/Data.Refinement.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.Refinement.html
/usr/share/doc/agda-stdlib/html/Data.Sign.Base.html
/usr/share/doc/agda-stdlib/html/Data.Sign.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Sign.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Sign.html
/usr/share/doc/agda-stdlib/html/Data.Star.BoundedVec.html
/usr/share/doc/agda-stdlib/html/Data.Star.Decoration.html
/usr/share/doc/agda-stdlib/html/Data.Star.Environment.html
/usr/share/doc/agda-stdlib/html/Data.Star.Fin.html
/usr/share/doc/agda-stdlib/html/Data.Star.List.html
/usr/share/doc/agda-stdlib/html/Data.Star.Nat.html
/usr/share/doc/agda-stdlib/html/Data.Star.Pointer.html
/usr/share/doc/agda-stdlib/html/Data.Star.Vec.html
/usr/share/doc/agda-stdlib/html/Data.String.Base.html
/usr/share/doc/agda-stdlib/html/Data.String.Instances.html
/usr/share/doc/agda-stdlib/html/Data.String.Literals.html
/usr/share/doc/agda-stdlib/html/Data.String.Properties.html
/usr/share/doc/agda-stdlib/html/Data.String.Unsafe.html
/usr/share/doc/agda-stdlib/html/Data.String.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Algebra.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Base.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Effectful.Examples.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Effectful.Left.Transformer.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Effectful.Left.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Effectful.Right.Transformer.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Effectful.Right.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Function.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Function.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Relation.Binary.LeftOrder.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Relation.Binary.Pointwise.html
/usr/share/doc/agda-stdlib/html/Data.Sum.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.Sum.html
/usr/share/doc/agda-stdlib/html/Data.These.Base.html
/usr/share/doc/agda-stdlib/html/Data.These.Effectful.Left.Base.html
/usr/share/doc/agda-stdlib/html/Data.These.Effectful.Left.html
/usr/share/doc/agda-stdlib/html/Data.These.Effectful.Right.Base.html
/usr/share/doc/agda-stdlib/html/Data.These.Effectful.Right.html
/usr/share/doc/agda-stdlib/html/Data.These.Instances.html
/usr/share/doc/agda-stdlib/html/Data.These.Properties.html
/usr/share/doc/agda-stdlib/html/Data.These.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Height.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Indexed.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Indexed.Relation.Unary.Any.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Indexed.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Indexed.WithK.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Indexed.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.IndexedMap.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Key.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Map.Membership.Propositional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Map.Membership.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Map.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Map.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.NonEmpty.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.NonEmpty.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Sets.Membership.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Sets.Membership.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Sets.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.Value.html
/usr/share/doc/agda-stdlib/html/Data.Tree.AVL.html
/usr/share/doc/agda-stdlib/html/Data.Tree.Binary.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Tree.Binary.Relation.Unary.All.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Tree.Binary.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.Tree.Binary.Show.html
/usr/share/doc/agda-stdlib/html/Data.Tree.Binary.Zipper.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Tree.Binary.Zipper.html
/usr/share/doc/agda-stdlib/html/Data.Tree.Binary.html
/usr/share/doc/agda-stdlib/html/Data.Tree.Rose.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Tree.Rose.Show.html
/usr/share/doc/agda-stdlib/html/Data.Tree.Rose.html
/usr/share/doc/agda-stdlib/html/Data.Trie.NonEmpty.html
/usr/share/doc/agda-stdlib/html/Data.Trie.html
/usr/share/doc/agda-stdlib/html/Data.Unit.Base.html
/usr/share/doc/agda-stdlib/html/Data.Unit.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Unit.NonEta.html
/usr/share/doc/agda-stdlib/html/Data.Unit.Polymorphic.Base.html
/usr/share/doc/agda-stdlib/html/Data.Unit.Polymorphic.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Unit.Polymorphic.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Unit.Polymorphic.html
/usr/share/doc/agda-stdlib/html/Data.Unit.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Unit.html
/usr/share/doc/agda-stdlib/html/Data.Universe.Indexed.html
/usr/share/doc/agda-stdlib/html/Data.Universe.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Base.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Bounded.Base.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Bounded.Show.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Bounded.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Effectful.Transformer.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Effectful.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Functional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Functional.Relation.Binary.Equality.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Functional.Relation.Binary.Permutation.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Functional.Relation.Binary.Permutation.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Functional.Relation.Binary.Pointwise.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Functional.Relation.Binary.Pointwise.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Functional.Relation.Unary.All.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Functional.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Functional.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Functional.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Membership.DecPropositional.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Membership.DecSetoid.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Membership.Propositional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Membership.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Membership.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.Vec.N-ary.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Properties.WithK.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Recursive.Effectful.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Recursive.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Recursive.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Reflection.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Binary.Equality.Cast.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Binary.Equality.DecPropositional.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Binary.Equality.DecSetoid.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Binary.Equality.Propositional.WithK.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Binary.Equality.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Binary.Equality.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Binary.Lex.Core.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Binary.Lex.NonStrict.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Binary.Lex.Strict.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Binary.Pointwise.Extensional.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Binary.Pointwise.Inductive.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.All.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.AllPairs.Core.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.AllPairs.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.AllPairs.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.Any.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.Linked.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.Linked.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.Unique.Propositional.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.Unique.Propositional.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.Unique.Setoid.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Relation.Unary.Unique.Setoid.html
/usr/share/doc/agda-stdlib/html/Data.Vec.Show.html
/usr/share/doc/agda-stdlib/html/Data.Vec.html
/usr/share/doc/agda-stdlib/html/Data.W.Indexed.html
/usr/share/doc/agda-stdlib/html/Data.W.Sized.html
/usr/share/doc/agda-stdlib/html/Data.W.WithK.html
/usr/share/doc/agda-stdlib/html/Data.W.html
/usr/share/doc/agda-stdlib/html/Data.Word64.Base.html
/usr/share/doc/agda-stdlib/html/Data.Word64.Instances.html
/usr/share/doc/agda-stdlib/html/Data.Word64.Literals.html
/usr/share/doc/agda-stdlib/html/Data.Word64.Primitive.html
/usr/share/doc/agda-stdlib/html/Data.Word64.Properties.html
/usr/share/doc/agda-stdlib/html/Data.Word64.Show.html
/usr/share/doc/agda-stdlib/html/Data.Word64.Unsafe.html
/usr/share/doc/agda-stdlib/html/Data.Word64.html
/usr/share/doc/agda-stdlib/html/Data.Word8.Base.html
/usr/share/doc/agda-stdlib/html/Data.Word8.Literals.html
/usr/share/doc/agda-stdlib/html/Data.Word8.Primitive.html
/usr/share/doc/agda-stdlib/html/Data.Word8.Show.html
/usr/share/doc/agda-stdlib/html/Data.Wrap.html
/usr/share/doc/agda-stdlib/html/Debug.Trace.html
/usr/share/doc/agda-stdlib/html/Effect.Applicative.Indexed.html
/usr/share/doc/agda-stdlib/html/Effect.Applicative.Predicate.html
/usr/share/doc/agda-stdlib/html/Effect.Applicative.html
/usr/share/doc/agda-stdlib/html/Effect.Choice.html
/usr/share/doc/agda-stdlib/html/Effect.Comonad.html
/usr/share/doc/agda-stdlib/html/Effect.Empty.html
/usr/share/doc/agda-stdlib/html/Effect.Functor.Predicate.html
/usr/share/doc/agda-stdlib/html/Effect.Functor.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Continuation.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Error.Transformer.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.IO.Instances.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.IO.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Identity.Instances.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Identity.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Indexed.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Partiality.All.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Partiality.Instances.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Partiality.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Predicate.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Reader.Indexed.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Reader.Instances.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Reader.Transformer.Base.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Reader.Transformer.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Reader.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.State.Indexed.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.State.Instances.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.State.Transformer.Base.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.State.Transformer.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.State.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Writer.Indexed.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Writer.Instances.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Writer.Transformer.Base.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Writer.Transformer.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.Writer.html
/usr/share/doc/agda-stdlib/html/Effect.Monad.html
/usr/share/doc/agda-stdlib/html/Everything.html
/usr/share/doc/agda-stdlib/html/EverythingSafe.html
/usr/share/doc/agda-stdlib/html/Foreign.Haskell.Coerce.html
/usr/share/doc/agda-stdlib/html/Foreign.Haskell.Either.html
/usr/share/doc/agda-stdlib/html/Foreign.Haskell.List.NonEmpty.html
/usr/share/doc/agda-stdlib/html/Foreign.Haskell.Pair.html
/usr/share/doc/agda-stdlib/html/Foreign.Haskell.html
/usr/share/doc/agda-stdlib/html/Function.Base.html
/usr/share/doc/agda-stdlib/html/Function.Bundles.html
/usr/share/doc/agda-stdlib/html/Function.Consequences.Propositional.html
/usr/share/doc/agda-stdlib/html/Function.Consequences.Setoid.html
/usr/share/doc/agda-stdlib/html/Function.Consequences.html
/usr/share/doc/agda-stdlib/html/Function.Construct.Composition.html
/usr/share/doc/agda-stdlib/html/Function.Construct.Constant.html
/usr/share/doc/agda-stdlib/html/Function.Construct.Identity.html
/usr/share/doc/agda-stdlib/html/Function.Construct.Symmetry.html
/usr/share/doc/agda-stdlib/html/Function.Core.html
/usr/share/doc/agda-stdlib/html/Function.Definitions.html
/usr/share/doc/agda-stdlib/html/Function.Dependent.Bundles.html
/usr/share/doc/agda-stdlib/html/Function.Endo.Propositional.html
/usr/share/doc/agda-stdlib/html/Function.Endo.Setoid.html
/usr/share/doc/agda-stdlib/html/Function.Identity.Effectful.html
/usr/share/doc/agda-stdlib/html/Function.Indexed.Bundles.html
/usr/share/doc/agda-stdlib/html/Function.Indexed.Relation.Binary.Equality.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Bundles.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Core.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Definitions.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Nat.Bundles.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Nat.Core.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Nat.Definitions.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Nat.Structures.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Nat.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Rational.Bundles.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Rational.Core.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Rational.Definitions.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Rational.Structures.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Rational.html
/usr/share/doc/agda-stdlib/html/Function.Metric.Structures.html
/usr/share/doc/agda-stdlib/html/Function.Metric.html
/usr/share/doc/agda-stdlib/html/Function.Nary.NonDependent.Base.html
/usr/share/doc/agda-stdlib/html/Function.Nary.NonDependent.html
/usr/share/doc/agda-stdlib/html/Function.Properties.Bijection.html
/usr/share/doc/agda-stdlib/html/Function.Properties.Equivalence.html
/usr/share/doc/agda-stdlib/html/Function.Properties.Injection.html
/usr/share/doc/agda-stdlib/html/Function.Properties.Inverse.HalfAdjointEquivalence.html
/usr/share/doc/agda-stdlib/html/Function.Properties.Inverse.html
/usr/share/doc/agda-stdlib/html/Function.Properties.RightInverse.html
/usr/share/doc/agda-stdlib/html/Function.Properties.Surjection.html
/usr/share/doc/agda-stdlib/html/Function.Properties.html
/usr/share/doc/agda-stdlib/html/Function.Reasoning.html
/usr/share/doc/agda-stdlib/html/Function.Related.Propositional.html
/usr/share/doc/agda-stdlib/html/Function.Related.TypeIsomorphisms.Solver.html
/usr/share/doc/agda-stdlib/html/Function.Related.TypeIsomorphisms.html
/usr/share/doc/agda-stdlib/html/Function.Relation.Binary.Setoid.Equality.html
/usr/share/doc/agda-stdlib/html/Function.Strict.html
/usr/share/doc/agda-stdlib/html/Function.Structures.Biased.html
/usr/share/doc/agda-stdlib/html/Function.Structures.html
/usr/share/doc/agda-stdlib/html/Function.html
/usr/share/doc/agda-stdlib/html/IO.Base.html
/usr/share/doc/agda-stdlib/html/IO.Effectful.html
/usr/share/doc/agda-stdlib/html/IO.Finite.html
/usr/share/doc/agda-stdlib/html/IO.Handle.html
/usr/share/doc/agda-stdlib/html/IO.Infinite.html
/usr/share/doc/agda-stdlib/html/IO.Instances.html
/usr/share/doc/agda-stdlib/html/IO.Primitive.Core.html
/usr/share/doc/agda-stdlib/html/IO.Primitive.Finite.html
/usr/share/doc/agda-stdlib/html/IO.Primitive.Handle.html
/usr/share/doc/agda-stdlib/html/IO.Primitive.Infinite.html
/usr/share/doc/agda-stdlib/html/IO.html
/usr/share/doc/agda-stdlib/html/Induction.InfiniteDescent.html
/usr/share/doc/agda-stdlib/html/Induction.Lexicographic.html
/usr/share/doc/agda-stdlib/html/Induction.WellFounded.html
/usr/share/doc/agda-stdlib/html/Induction.html
/usr/share/doc/agda-stdlib/html/Level.Literals.html
/usr/share/doc/agda-stdlib/html/Level.html
/usr/share/doc/agda-stdlib/html/README.Axiom.html
/usr/share/doc/agda-stdlib/html/README.Case.html
/usr/share/doc/agda-stdlib/html/README.Data.Container.FreeMonad.html
/usr/share/doc/agda-stdlib/html/README.Data.Container.Indexed.MultiSortedAlgebraExample.html
/usr/share/doc/agda-stdlib/html/README.Data.Container.Indexed.VectorExample.html
/usr/share/doc/agda-stdlib/html/README.Data.Default.html
/usr/share/doc/agda-stdlib/html/README.Data.Fin.Substitution.UntypedLambda.html
/usr/share/doc/agda-stdlib/html/README.Data.Integer.html
/usr/share/doc/agda-stdlib/html/README.Data.List.Fresh.html
/usr/share/doc/agda-stdlib/html/README.Data.List.Membership.html
/usr/share/doc/agda-stdlib/html/README.Data.List.Relation.Binary.Equality.html
/usr/share/doc/agda-stdlib/html/README.Data.List.Relation.Binary.Permutation.html
/usr/share/doc/agda-stdlib/html/README.Data.List.Relation.Binary.Pointwise.html
/usr/share/doc/agda-stdlib/html/README.Data.List.Relation.Binary.Subset.html
/usr/share/doc/agda-stdlib/html/README.Data.List.Relation.Ternary.Interleaving.html
/usr/share/doc/agda-stdlib/html/README.Data.List.Relation.Unary.All.html
/usr/share/doc/agda-stdlib/html/README.Data.List.Relation.Unary.Any.html
/usr/share/doc/agda-stdlib/html/README.Data.List.html
/usr/share/doc/agda-stdlib/html/README.Data.Nat.Induction.html
/usr/share/doc/agda-stdlib/html/README.Data.Nat.html
/usr/share/doc/agda-stdlib/html/README.Data.Record.html
/usr/share/doc/agda-stdlib/html/README.Data.Tree.AVL.html
/usr/share/doc/agda-stdlib/html/README.Data.Trie.NonDependent.html
/usr/share/doc/agda-stdlib/html/README.Data.Vec.Relation.Binary.Equality.Cast.html
/usr/share/doc/agda-stdlib/html/README.Data.Wrap.html
/usr/share/doc/agda-stdlib/html/README.Data.html
/usr/share/doc/agda-stdlib/html/README.Debug.Trace.html
/usr/share/doc/agda-stdlib/html/README.Design.Decidability.html
/usr/share/doc/agda-stdlib/html/README.Design.Hierarchies.html
/usr/share/doc/agda-stdlib/html/README.Foreign.Haskell.html
/usr/share/doc/agda-stdlib/html/README.Function.Reasoning.html
/usr/share/doc/agda-stdlib/html/README.IO.html
/usr/share/doc/agda-stdlib/html/README.Inspect.html
/usr/share/doc/agda-stdlib/html/README.Nary.html
/usr/share/doc/agda-stdlib/html/README.Tactic.MonoidSolver.html
/usr/share/doc/agda-stdlib/html/README.Tactic.RingSolver.html
/usr/share/doc/agda-stdlib/html/README.Text.Pretty.html
/usr/share/doc/agda-stdlib/html/README.Text.Printf.html
/usr/share/doc/agda-stdlib/html/README.Text.Regex.html
/usr/share/doc/agda-stdlib/html/README.Text.Tabular.html
/usr/share/doc/agda-stdlib/html/README.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Abstraction.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.AlphaEquality.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Argument.Information.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Argument.Modality.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Argument.Quantity.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Argument.Relevance.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Argument.Visibility.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Argument.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.DeBruijn.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Definition.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Instances.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Literal.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Meta.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Name.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Pattern.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Show.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Term.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Traversal.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.Universe.html
/usr/share/doc/agda-stdlib/html/Reflection.AST.html
/usr/share/doc/agda-stdlib/html/Reflection.AnnotatedAST.Free.html
/usr/share/doc/agda-stdlib/html/Reflection.AnnotatedAST.html
/usr/share/doc/agda-stdlib/html/Reflection.External.html
/usr/share/doc/agda-stdlib/html/Reflection.TCM.Effectful.html
/usr/share/doc/agda-stdlib/html/Reflection.TCM.Format.html
/usr/share/doc/agda-stdlib/html/Reflection.TCM.Instances.html
/usr/share/doc/agda-stdlib/html/Reflection.TCM.Syntax.html
/usr/share/doc/agda-stdlib/html/Reflection.TCM.Utilities.html
/usr/share/doc/agda-stdlib/html/Reflection.TCM.html
/usr/share/doc/agda-stdlib/html/Reflection.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Bundles.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Consequences.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Add.Extrema.Equality.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Add.Extrema.NonStrict.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Add.Extrema.Strict.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Add.Infimum.Equality.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Add.Infimum.NonStrict.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Add.Infimum.Strict.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Add.Point.Equality.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Add.Supremum.Equality.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Add.Supremum.NonStrict.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Add.Supremum.Strict.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Always.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.Equivalence.Properties.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.Equivalence.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.Reflexive.Properties.WithK.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.Reflexive.Properties.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.Reflexive.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties.WithK.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.ReflexiveTransitive.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.Symmetric.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.SymmetricTransitive.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.Transitive.WithK.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Closure.Transitive.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Composition.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Constant.Core.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Constant.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Flip.EqAndOrd.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Flip.Ord.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.FromPred.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.FromRel.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Interior.Symmetric.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Intersection.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.NaturalOrder.Left.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.NaturalOrder.Right.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Never.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.NonStrictToStrict.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.On.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.StrictToNonStrict.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Subst.Equality.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Construct.Union.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Core.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Definitions.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.HeterogeneousEquality.Core.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.HeterogeneousEquality.Quotients.Examples.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.HeterogeneousEquality.Quotients.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.HeterogeneousEquality.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Heterogeneous.Bundles.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Heterogeneous.Construct.At.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Heterogeneous.Core.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Heterogeneous.Definitions.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Heterogeneous.Structures.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Heterogeneous.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Homogeneous.Bundles.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Homogeneous.Construct.At.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Homogeneous.Core.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Homogeneous.Definitions.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Homogeneous.Structures.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Indexed.Homogeneous.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.Bundles.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.Definitions.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.Properties.BoundedJoinSemilattice.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.Properties.BoundedLattice.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.Properties.BoundedMeetSemilattice.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.Properties.DistributiveLattice.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.Properties.HeytingAlgebra.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.Properties.JoinSemilattice.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.Properties.Lattice.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.Properties.MeetSemilattice.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.Structures.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Lattice.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Morphism.Bundles.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Morphism.Construct.Composition.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Morphism.Construct.Constant.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Morphism.Construct.Identity.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Morphism.Definitions.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Morphism.OrderMonomorphism.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Morphism.RelMonomorphism.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Morphism.Structures.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Morphism.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Properties.ApartnessRelation.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Properties.DecSetoid.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Properties.DecTotalOrder.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Properties.Poset.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Properties.Preorder.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Properties.Setoid.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Properties.StrictPartialOrder.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Properties.StrictTotalOrder.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Properties.TotalOrder.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.PropositionalEquality.Algebra.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.PropositionalEquality.Core.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.PropositionalEquality.Properties.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.PropositionalEquality.TrustMe.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.PropositionalEquality.WithK.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.PropositionalEquality.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.Base.Apartness.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.Base.Double.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.Base.Partial.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.Base.Single.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.Base.Triple.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.MultiSetoid.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.PartialOrder.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.PartialSetoid.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.Preorder.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.Setoid.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.StrictPartialOrder.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reasoning.Syntax.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Reflection.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Rewriting.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Structures.Biased.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.Structures.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.TypeClasses.html
/usr/share/doc/agda-stdlib/html/Relation.Binary.html
/usr/share/doc/agda-stdlib/html/Relation.Nary.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Construct.Add.Extrema.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Construct.Add.Infimum.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Construct.Add.Point.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Construct.Add.Supremum.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Decidable.Core.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Decidable.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Indexed.Negation.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Indexed.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Negation.Core.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Negation.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Recomputable.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Reflects.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.Universe.html
/usr/share/doc/agda-stdlib/html/Relation.Nullary.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Algebra.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Closure.Base.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Closure.Preorder.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Closure.StrictPartialOrder.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Consequences.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Indexed.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Polymorphic.Properties.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Polymorphic.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.PredicateTransformer.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Properties.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Relation.Binary.Equality.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Relation.Binary.Subset.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.Sized.html
/usr/share/doc/agda-stdlib/html/Relation.Unary.html
/usr/share/doc/agda-stdlib/html/Size.html
/usr/share/doc/agda-stdlib/html/System.Clock.Primitive.html
/usr/share/doc/agda-stdlib/html/System.Clock.html
/usr/share/doc/agda-stdlib/html/System.Console.ANSI.html
/usr/share/doc/agda-stdlib/html/System.Directory.Primitive.html
/usr/share/doc/agda-stdlib/html/System.Directory.html
/usr/share/doc/agda-stdlib/html/System.Environment.Primitive.html
/usr/share/doc/agda-stdlib/html/System.Environment.html
/usr/share/doc/agda-stdlib/html/System.Exit.Primitive.html
/usr/share/doc/agda-stdlib/html/System.Exit.html
/usr/share/doc/agda-stdlib/html/System.FilePath.Posix.Primitive.html
/usr/share/doc/agda-stdlib/html/System.FilePath.Posix.html
/usr/share/doc/agda-stdlib/html/System.Process.Primitive.html
/usr/share/doc/agda-stdlib/html/System.Process.html
/usr/share/doc/agda-stdlib/html/System.Random.Primitive.html
/usr/share/doc/agda-stdlib/html/System.Random.html
/usr/share/doc/agda-stdlib/html/Tactic.Cong.html
/usr/share/doc/agda-stdlib/html/Tactic.MonoidSolver.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.AlmostCommutativeRing.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Expression.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.NatSet.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Base.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Addition.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Constants.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Exponentiation.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Lemmas.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Multiplication.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Negation.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Variables.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Parameters.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Reasoning.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.Core.Polynomial.Semantics.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.NonReflective.html
/usr/share/doc/agda-stdlib/html/Tactic.RingSolver.html
/usr/share/doc/agda-stdlib/html/Test.Golden.html
/usr/share/doc/agda-stdlib/html/Text.Format.Generic.html
/usr/share/doc/agda-stdlib/html/Text.Format.html
/usr/share/doc/agda-stdlib/html/Text.Pretty.Core.html
/usr/share/doc/agda-stdlib/html/Text.Pretty.html
/usr/share/doc/agda-stdlib/html/Text.Printf.Generic.html
/usr/share/doc/agda-stdlib/html/Text.Printf.html
/usr/share/doc/agda-stdlib/html/Text.Regex.Base.html
/usr/share/doc/agda-stdlib/html/Text.Regex.Derivative.Brzozowski.html
/usr/share/doc/agda-stdlib/html/Text.Regex.Properties.Core.html
/usr/share/doc/agda-stdlib/html/Text.Regex.Properties.html
/usr/share/doc/agda-stdlib/html/Text.Regex.Search.html
/usr/share/doc/agda-stdlib/html/Text.Regex.SmartConstructors.html
/usr/share/doc/agda-stdlib/html/Text.Regex.String.Unsafe.html
/usr/share/doc/agda-stdlib/html/Text.Regex.String.html
/usr/share/doc/agda-stdlib/html/Text.Regex.html
/usr/share/doc/agda-stdlib/html/Text.Tabular.Base.html
/usr/share/doc/agda-stdlib/html/Text.Tabular.List.html
/usr/share/doc/agda-stdlib/html/Text.Tabular.Vec.html