Agda-stdlib-docs-1.7.2-1.fc39

Date	Author	Change
2023-07-28	Jens Petersen <petersen at redhat dot com> - 1.7.2-1	- https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md
2023-07-19	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.1-9	- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-02-20	Jens Petersen <petersen at redhat dot com> - 1.7.1-5	- rebuild
2023-01-18	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.1-4	- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-07-20	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.1-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-21	Jens Petersen <petersen at redhat dot com> - 1.7.1-2	- rebuild against Agda-2.6.2.2
2022-03-09	Jens Petersen <petersen at redhat dot com> - 1.7.1-1	- https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md
2022-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-08-09	Jens Petersen <petersen at redhat dot com> - 1.7-1	- https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md - disable armv7hl: no Agda - runs out of memory

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
      - Everything.agda
      - EverythingSafe.agda
      - HACKING.md
      - README/
        
        Axiom.agda
        
        Case.agda
        
        Data/
        
        Container/
        
        FreeMonad.agda
        
        Indexed.agda
        
        Integer.agda
        
        List/
        
        Fresh.agda
        
        Membership.agda
        
        Relation/
        
        Binary/
        
        Equality.agda
        
        Permutation.agda
        
        Pointwise.agda
        
        Subset.agda
        
        Ternary/
        
        Interleaving.agda
        
        Unary/
        
        All.agda
        
        Any.agda
        
        List.agda
        
        Nat/
        
        Induction.agda
        
        Nat.agda
        
        Record.agda
        
        Tree/
        
        AVL.agda
        
        Binary.agda
        
        Rose.agda
        
        Trie/
        
        NonDependent.agda
        
        Wrap.agda
        
        Data.agda
        
        Debug/
        
        Trace.agda
        
        Design/
        
        Decidability.agda
        
        Fixity.agda
        
        Hierarchies.agda
        
        Foreign/
        
        Haskell.agda
        
        Function/
        
        Reasoning.agda
        
        IO.agda
        
        Inspect.agda
        
        Nary.agda
        
        Reflection/
        
        External.agda
        
        Relation/
        
        Binary/
        
        TypeClasses.agda
        
        Tactic/
        
        MonoidSolver.agda
        
        RingSolver.agda
        
        Text/
        
        Pretty.agda
        
        Printf.agda
        
        Regex.agda
        
        Tabular.agda
      - README.agda
      - 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.Bundles.html
        
        Algebra.Consequences.Base.html
        
        Algebra.Consequences.Propositional.html
        
        Algebra.Consequences.Setoid.html
        
        Algebra.Construct.DirectProduct.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.Subst.Equality.html
        
        Algebra.Construct.Zero.html
        
        Algebra.Core.html
        
        Algebra.Definitions.RawMagma.html
        
        Algebra.Definitions.RawMonoid.html
        
        Algebra.Definitions.RawSemiring.html
        
        Algebra.Definitions.html
        
        Algebra.Module.Bundles.html
        
        Algebra.Module.Consequences.html
        
        Algebra.Module.Construct.DirectProduct.html
        
        Algebra.Module.Construct.TensorUnit.html
        
        Algebra.Module.Construct.Zero.html
        
        Algebra.Module.Definitions.Bi.html
        
        Algebra.Module.Definitions.Left.html
        
        Algebra.Module.Definitions.Right.html
        
        Algebra.Module.Definitions.html
        
        Algebra.Module.Structures.Biased.html
        
        Algebra.Module.Structures.html
        
        Algebra.Morphism.Consequences.html
        
        Algebra.Morphism.Definitions.html
        
        Algebra.Morphism.GroupMonomorphism.html
        
        Algebra.Morphism.LatticeMonomorphism.html
        
        Algebra.Morphism.MagmaMonomorphism.html
        
        Algebra.Morphism.MonoidMonomorphism.html
        
        Algebra.Morphism.RingMonomorphism.html
        
        Algebra.Morphism.Structures.html
        
        Algebra.Morphism.html
        
        Algebra.Operations.CommutativeMonoid.html
        
        Algebra.Properties.AbelianGroup.html
        
        Algebra.Properties.BooleanAlgebra.Expression.html
        
        Algebra.Properties.BooleanAlgebra.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.Exp.TCOptimised.html
        
        Algebra.Properties.CommutativeSemiring.Exp.html
        
        Algebra.Properties.DistributiveLattice.html
        
        Algebra.Properties.Group.html
        
        Algebra.Properties.Lattice.html
        
        Algebra.Properties.Magma.Divisibility.html
        
        Algebra.Properties.Monoid.Divisibility.html
        
        Algebra.Properties.Monoid.Mult.TCOptimised.html
        
        Algebra.Properties.Monoid.Mult.html
        
        Algebra.Properties.Monoid.Sum.html
        
        Algebra.Properties.Ring.html
        
        Algebra.Properties.Semigroup.Divisibility.html
        
        Algebra.Properties.Semigroup.html
        
        Algebra.Properties.Semilattice.html
        
        Algebra.Properties.Semiring.Divisibility.html
        
        Algebra.Properties.Semiring.Exp.TCOptimised.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.html
        
        Algebra.Solver.IdempotentCommutativeMonoid.Example.html
        
        Algebra.Solver.IdempotentCommutativeMonoid.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
        
        Category.Applicative.Indexed.html
        
        Category.Applicative.Predicate.html
        
        Category.Applicative.html
        
        Category.Comonad.html
        
        Category.Functor.Predicate.html
        
        Category.Functor.html
        
        Category.Monad.Continuation.html
        
        Category.Monad.Indexed.html
        
        Category.Monad.Partiality.All.html
        
        Category.Monad.Partiality.Instances.html
        
        Category.Monad.Partiality.html
        
        Category.Monad.Predicate.html
        
        Category.Monad.Reader.html
        
        Category.Monad.State.html
        
        Category.Monad.html
        
        Codata.Cofin.Literals.html
        
        Codata.Cofin.html
        
        Codata.Colist.Bisimilarity.html
        
        Codata.Colist.Categorical.html
        
        Codata.Colist.Properties.html
        
        Codata.Colist.html
        
        Codata.Conat.Bisimilarity.html
        
        Codata.Conat.Literals.html
        
        Codata.Conat.Properties.html
        
        Codata.Conat.html
        
        Codata.Covec.Bisimilarity.html
        
        Codata.Covec.Categorical.html
        
        Codata.Covec.Instances.html
        
        Codata.Covec.Properties.html
        
        Codata.Covec.html
        
        Codata.Cowriter.Bisimilarity.html
        
        Codata.Cowriter.html
        
        Codata.Delay.Bisimilarity.html
        
        Codata.Delay.Categorical.html
        
        Codata.Delay.Properties.html
        
        Codata.Delay.html
        
        Codata.M.Bisimilarity.html
        
        Codata.M.Properties.html
        
        Codata.M.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.Stream.Bisimilarity.html
        
        Codata.Stream.Categorical.html
        
        Codata.Stream.Instances.html
        
        Codata.Stream.Properties.html
        
        Codata.Stream.html
        
        Codata.Thunk.html
        
        Data.Bool.Base.html
        
        Data.Bool.Instances.html
        
        Data.Bool.Properties.html
        
        Data.Bool.Show.html
        
        Data.Bool.Solver.html
        
        Data.Bool.html
        
        Data.BoundedVec.Inefficient.html
        
        Data.BoundedVec.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.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.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.Erased.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.Show.html
        
        Data.Fin.Subset.Induction.html
        
        Data.Fin.Subset.Properties.html
        
        Data.Fin.Subset.html
        
        Data.Fin.Substitution.Example.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.html
        
        Data.Integer.Show.html
        
        Data.Integer.Solver.html
        
        Data.Integer.Tactic.RingSolver.html
        
        Data.Integer.html
        
        Data.List.Base.html
        
        Data.List.Categorical.html
        
        Data.List.Countdown.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.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.NonEmpty.Base.html
        
        Data.List.NonEmpty.Categorical.html
        
        Data.List.NonEmpty.Instances.html
        
        Data.List.NonEmpty.Properties.html
        
        Data.List.NonEmpty.html
        
        Data.List.Properties.html
        
        Data.List.Relation.Binary.BagAndSetEquality.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.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.html
        
        Data.List.Relation.Binary.Permutation.Propositional.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.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.Disjoint.html
        
        Data.List.Relation.Binary.Sublist.Propositional.Example.UniqueBoundVariables.html
        
        Data.List.Relation.Binary.Sublist.Propositional.Properties.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.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.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.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.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.Sort.Base.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.Categorical.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.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.Literals.html
        
        Data.Nat.Primality.html
        
        Data.Nat.Properties.Core.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.Product.Algebra.html
        
        Data.Product.Categorical.Examples.html
        
        Data.Product.Categorical.Left.Base.html
        
        Data.Product.Categorical.Left.html
        
        Data.Product.Categorical.Right.Base.html
        
        Data.Product.Categorical.Right.html
        
        Data.Product.Function.Dependent.Propositional.WithK.html
        
        Data.Product.Function.Dependent.Propositional.html
        
        Data.Product.Function.Dependent.Setoid.WithK.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.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.Solver.html
        
        Data.Rational.Unnormalised.html
        
        Data.Rational.html
        
        Data.Record.html
        
        Data.Refinement.Relation.Unary.All.html
        
        Data.Refinement.html
        
        Data.Sign.Base.html
        
        Data.Sign.Instances.html
        
        Data.Sign.Properties.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.Categorical.Examples.html
        
        Data.Sum.Categorical.Left.html
        
        Data.Sum.Categorical.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.Table.Base.html
        
        Data.Table.Properties.html
        
        Data.Table.Relation.Binary.Equality.html
        
        Data.Table.html
        
        Data.These.Base.html
        
        Data.These.Categorical.Left.Base.html
        
        Data.These.Categorical.Left.html
        
        Data.These.Categorical.Right.Base.html
        
        Data.These.Categorical.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.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.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.html
        
        Data.Vec.Categorical.html
        
        Data.Vec.Functional.Properties.html
        
        Data.Vec.Functional.Relation.Binary.Equality.Setoid.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.Categorical.html
        
        Data.Vec.Recursive.Properties.html
        
        Data.Vec.Recursive.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.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.html
        
        Data.W.Indexed.html
        
        Data.W.Sized.html
        
        Data.W.WithK.html
        
        Data.W.html
        
        Data.Word.Base.html
        
        Data.Word.Instances.html
        
        Data.Word.Properties.html
        
        Data.Word.html
        
        Data.Wrap.html
        
        Debug.Trace.html
        
        Everything.html
        
        EverythingSafe.html
        
        Foreign.Haskell.Coerce.html
        
        Foreign.Haskell.Either.html
        
        Foreign.Haskell.Pair.html
        
        Foreign.Haskell.html
        
        Function.Base.html
        
        Function.Bijection.html
        
        Function.Bundles.html
        
        Function.Construct.Composition.html
        
        Function.Construct.Identity.html
        
        Function.Construct.Symmetry.html
        
        Function.Core.html
        
        Function.Definitions.Core1.html
        
        Function.Definitions.Core2.html
        
        Function.Definitions.html
        
        Function.Endomorphism.Propositional.html
        
        Function.Endomorphism.Setoid.html
        
        Function.Equality.html
        
        Function.Equivalence.html
        
        Function.HalfAdjointEquivalence.html
        
        Function.Identity.Categorical.html
        
        Function.Identity.Instances.html
        
        Function.Injection.html
        
        Function.Inverse.html
        
        Function.LeftInverse.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.Equivalence.html
        
        Function.Properties.Inverse.html
        
        Function.Properties.html
        
        Function.Reasoning.html
        
        Function.Related.TypeIsomorphisms.Solver.html
        
        Function.Related.TypeIsomorphisms.html
        
        Function.Related.html
        
        Function.Structures.html
        
        Function.Surjection.html
        
        Function.html
        
        IO.Base.html
        
        IO.Finite.html
        
        IO.Infinite.html
        
        IO.Primitive.Finite.html
        
        IO.Primitive.Infinite.html
        
        IO.Primitive.html
        
        IO.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.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.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.Abstraction.html
        
        Reflection.Annotated.Free.html
        
        Reflection.Annotated.html
        
        Reflection.Argument.Information.html
        
        Reflection.Argument.Modality.html
        
        Reflection.Argument.Quantity.html
        
        Reflection.Argument.Relevance.html
        
        Reflection.Argument.Visibility.html
        
        Reflection.Argument.html
        
        Reflection.DeBruijn.html
        
        Reflection.Definition.html
        
        Reflection.External.html
        
        Reflection.Instances.html
        
        Reflection.Literal.html
        
        Reflection.Meta.html
        
        Reflection.Name.html
        
        Reflection.Pattern.html
        
        Reflection.Show.html
        
        Reflection.Term.html
        
        Reflection.Traversal.html
        
        Reflection.TypeChecking.Format.html
        
        Reflection.TypeChecking.Monad.Categorical.html
        
        Reflection.TypeChecking.Monad.Instances.html
        
        Reflection.TypeChecking.Monad.Syntax.html
        
        Reflection.TypeChecking.Monad.html
        
        Reflection.Universe.html
        
        Reflection.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.Converse.html
        
        Relation.Binary.Construct.Flip.html
        
        Relation.Binary.Construct.FromPred.html
        
        Relation.Binary.Construct.FromRel.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.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.Definitions.html
        
        Relation.Binary.Morphism.OrderMonomorphism.html
        
        Relation.Binary.Morphism.RelMonomorphism.html
        
        Relation.Binary.Morphism.Structures.html
        
        Relation.Binary.Morphism.html
        
        Relation.Binary.Properties.BoundedJoinSemilattice.html
        
        Relation.Binary.Properties.BoundedLattice.html
        
        Relation.Binary.Properties.BoundedMeetSemilattice.html
        
        Relation.Binary.Properties.DecTotalOrder.html
        
        Relation.Binary.Properties.DistributiveLattice.html
        
        Relation.Binary.Properties.HeytingAlgebra.html
        
        Relation.Binary.Properties.JoinSemilattice.html
        
        Relation.Binary.Properties.Lattice.html
        
        Relation.Binary.Properties.MeetSemilattice.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.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.Reflection.html
        
        Relation.Binary.Rewriting.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.Implication.html
        
        Relation.Nullary.Indexed.Negation.html
        
        Relation.Nullary.Indexed.html
        
        Relation.Nullary.Negation.Core.html
        
        Relation.Nullary.Negation.html
        
        Relation.Nullary.Product.html
        
        Relation.Nullary.Reflects.html
        
        Relation.Nullary.Sum.html
        
        Relation.Nullary.Universe.html
        
        Relation.Nullary.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.PredicateTransformer.html
        
        Relation.Unary.Properties.html
        
        Relation.Unary.Sized.html
        
        Relation.Unary.html
        
        Size.html
        
        Strict.html
        
        System.Environment.Primitive.html
        
        System.Environment.html
        
        System.Exit.Primitive.html
        
        System.Exit.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.Core.ReflectionHelp.html
        
        Tactic.RingSolver.NonReflective.html
        
        Tactic.RingSolver.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-1.7.2-1.fc39 in Fedora 39

Changelog

Provides

Files