Agda-stdlib-docs-1.7-1.fc35

Date	Author	Change
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
2021-07-21	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3-6	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-01-25	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3-5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-08-24	Jens Petersen <petersen at redhat dot com> - 1.3-4	- Agda-2.6.1 puts .agdai files under _build/ - move Everything and README modules to docs
2020-07-27	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-07-20	Jens Petersen <petersen at redhat dot com> - 1.3-2	- make package noarch
2020-06-27	Jens Petersen <petersen at redhat dot com> - 1.3-1	- https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md
2020-05-26	Jens Petersen <petersen at redhat dot com> - 1.2-1	- update to 1.2 - https://github.com/agda/agda-stdlib/blob/v1.2/CHANGELOG.md - requires Agda instead of ghc-Agda now
2020-01-28	Fedora Release Engineering <releng at fedoraproject dot org> - 1.1-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
2019-08-17	Jens Petersen <petersen at redhat dot com> - 1.1-1	- update to 1.1

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-1.fc35 in Fedora 35

Changelog

Provides

Files