Agda-stdlib-docs-2.3-1.fc43

Date	Author	Change
2025-08-11	Jens Petersen <petersen at redhat dot com> - 2.3-1	- https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md
2025-07-23	Fedora Release Engineering <releng at fedoraproject dot org> - 2.1.1-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
2025-04-14	Jens Petersen <petersen at redhat dot com> - 2.1.1-1	- update to 2.1.1 with Agda-2.7.0.1
2025-01-20	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-9	- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2025-01-16	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-8	- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2024-07-17	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-7	- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-05-18	Jens Petersen <petersen at redhat dot com> - 1.7.3-6	- rebuild for Agda 2.6.4.3
2024-01-22	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-4	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-18	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.3-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild

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

Agda-stdlib-docs-2.3-1.fc43 in Fedora Rawhide

Changelog

Provides

Files