Agda-stdlib-docs-1.3-5.fc34

Date	Author	Change
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
2019-07-24	Fedora Release Engineering <releng at fedoraproject dot org> - 0.17-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
2019-02-25	Jens Petersen <petersen at redhat dot com> - 0.17-1	- update to 0.17

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
      - Everything.agda
      - EverythingSafe.agda
      - EverythingSafeGuardedness.agda
      - EverythingSafeSizedTypes.agda
      - HACKING.md
      - README/
        
        Axiom.agda
        
        Case.agda
        
        Data/
        
        AVL.agda
        
        Container/
        
        FreeMonad.agda
        
        Indexed.agda
        
        Integer.agda
        
        Interleaving.agda
        
        List/
        
        Fresh.agda
        
        List.agda
        
        Nat/
        
        Induction.agda
        
        Nat.agda
        
        Record.agda
        
        Trie/
        
        NonDependent.agda
        
        Data.agda
        
        Debug/
        
        Trace.agda
        
        Decidability.agda
        
        Foreign/
        
        Haskell.agda
        
        Function/
        
        Reasoning.agda
        
        Inspect.agda
        
        Nary.agda
        
        Tactic/
        
        MonoidSolver.agda
        
        RingSolver.agda
        
        Text/
        
        Pretty.agda
        
        Printf.agda
        
        Tabular.agda
        
        Tree.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.Nat.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.Cubical.html
        
        Agda.Primitive.html
        
        Agda.css
        
        Algebra.Bundles.html
        
        Algebra.Consequences.Base.html
        
        Algebra.Consequences.Propositional.html
        
        Algebra.Consequences.Setoid.html
        
        Algebra.Construct.LiftedChoice.html
        
        Algebra.Construct.NaturalChoice.Max.html
        
        Algebra.Construct.NaturalChoice.Min.html
        
        Algebra.Core.html
        
        Algebra.Definitions.html
        
        Algebra.FunctionProperties.Consequences.Propositional.html
        
        Algebra.Module.Bundles.html
        
        Algebra.Module.Consequences.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.Definitions.html
        
        Algebra.Morphism.GroupMonomorphism.html
        
        Algebra.Morphism.MagmaMonomorphism.html
        
        Algebra.Morphism.MonoidMonomorphism.html
        
        Algebra.Morphism.RingMonomorphism.html
        
        Algebra.Morphism.Structures.html
        
        Algebra.Morphism.html
        
        Algebra.Operations.CommutativeMonoid.html
        
        Algebra.Operations.Ring.html
        
        Algebra.Operations.Semiring.html
        
        Algebra.Properties.AbelianGroup.html
        
        Algebra.Properties.BooleanAlgebra.Expression.html
        
        Algebra.Properties.BooleanAlgebra.html
        
        Algebra.Properties.CommutativeMonoid.html
        
        Algebra.Properties.CommutativeSemigroup.html
        
        Algebra.Properties.DistributiveLattice.html
        
        Algebra.Properties.Group.html
        
        Algebra.Properties.Lattice.html
        
        Algebra.Properties.Ring.html
        
        Algebra.Properties.Semigroup.html
        
        Algebra.Properties.Semilattice.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.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.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.Infinite-merge.html
        
        Codata.Musical.Colist.html
        
        Codata.Musical.Conat.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.Properties.html
        
        Codata.Stream.html
        
        Codata.Thunk.html
        
        Data.AVL.Height.html
        
        Data.AVL.Indexed.WithK.html
        
        Data.AVL.Indexed.html
        
        Data.AVL.IndexedMap.html
        
        Data.AVL.Key.html
        
        Data.AVL.Map.html
        
        Data.AVL.NonEmpty.Propositional.html
        
        Data.AVL.NonEmpty.html
        
        Data.AVL.Sets.html
        
        Data.AVL.Value.html
        
        Data.AVL.html
        
        Data.Bool.Base.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.Properties.html
        
        Data.Char.html
        
        Data.Container.Combinator.Properties.html
        
        Data.Container.Combinator.html
        
        Data.Container.Core.html
        
        Data.Container.FreeMonad.html
        
        Data.Container.Indexed.Combinator.html
        
        Data.Container.Indexed.Core.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.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.Literals.html
        
        Data.Fin.Patterns.html
        
        Data.Fin.Permutation.Components.html
        
        Data.Fin.Permutation.html
        
        Data.Fin.Properties.html
        
        Data.Fin.Reflection.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.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.LCM.html
        
        Data.Integer.Literals.html
        
        Data.Integer.Properties.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.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.Categorical.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.Lex.Core.html
        
        Data.List.Relation.Binary.Lex.NonStrict.html
        
        Data.List.Relation.Binary.Lex.Strict.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.html
        
        Data.List.Relation.Binary.Prefix.Heterogeneous.Properties.html
        
        Data.List.Relation.Binary.Prefix.Heterogeneous.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.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.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.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.Zipper.Properties.html
        
        Data.List.Zipper.html
        
        Data.List.html
        
        Data.Maybe.Base.html
        
        Data.Maybe.Categorical.html
        
        Data.Maybe.Properties.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.Properties.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.LCM.html
        
        Data.Nat.Literals.html
        
        Data.Nat.Primality.html
        
        Data.Nat.Properties.html
        
        Data.Nat.Reflection.html
        
        Data.Nat.Show.html
        
        Data.Nat.Solver.html
        
        Data.Nat.Tactic.RingSolver.html
        
        Data.Nat.WithK.html
        
        Data.Nat.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.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.Literals.html
        
        Data.Rational.Properties.html
        
        Data.Rational.Unnormalised.Properties.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.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.Literals.html
        
        Data.String.Properties.html
        
        Data.String.Unsafe.html
        
        Data.String.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.Properties.html
        
        Data.Sum.Relation.Binary.LeftOrder.html
        
        Data.Sum.Relation.Binary.Pointwise.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.Properties.html
        
        Data.These.html
        
        Data.Tree.Binary.Properties.html
        
        Data.Tree.Binary.Relation.Unary.All.Properties.html
        
        Data.Tree.Binary.Relation.Unary.All.html
        
        Data.Tree.Binary.html
        
        Data.Tree.Rose.Properties.html
        
        Data.Tree.Rose.html
        
        Data.Trie.NonEmpty.html
        
        Data.Trie.html
        
        Data.Unit.Base.html
        
        Data.Unit.NonEta.html
        
        Data.Unit.Polymorphic.Base.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.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.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.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.Any.Properties.html
        
        Data.Vec.Relation.Unary.Any.html
        
        Data.Vec.html
        
        Data.W.Indexed.html
        
        Data.W.WithK.html
        
        Data.W.html
        
        Data.Word.Base.html
        
        Data.Word.Properties.html
        
        Data.Word.html
        
        Debug.Trace.html
        
        Everything.html
        
        EverythingSafe.html
        
        Foreign.Haskell.Coerce.html
        
        Foreign.Haskell.Either.html
        
        Foreign.Haskell.Maybe.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.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.Injection.html
        
        Function.Inverse.html
        
        Function.LeftInverse.html
        
        Function.Nary.NonDependent.Base.html
        
        Function.Nary.NonDependent.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.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.AVL.html
        
        README.Data.Container.FreeMonad.html
        
        README.Data.Container.Indexed.html
        
        README.Data.Integer.html
        
        README.Data.Interleaving.html
        
        README.Data.List.Fresh.html
        
        README.Data.List.html
        
        README.Data.Nat.Induction.html
        
        README.Data.Nat.html
        
        README.Data.Record.html
        
        README.Data.Trie.NonDependent.html
        
        README.Data.html
        
        README.Debug.Trace.html
        
        README.Decidability.html
        
        README.Foreign.Haskell.html
        
        README.Function.Reasoning.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.Tabular.html
        
        README.Text.Tree.html
        
        README.html
        
        Reflection.Abstraction.html
        
        Reflection.Argument.Information.html
        
        Reflection.Argument.Relevance.html
        
        Reflection.Argument.Visibility.html
        
        Reflection.Argument.html
        
        Reflection.Definition.html
        
        Reflection.Literal.html
        
        Reflection.Meta.html
        
        Reflection.Name.html
        
        Reflection.Pattern.html
        
        Reflection.Show.html
        
        Reflection.Term.html
        
        Reflection.TypeChecking.MonadSyntax.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.Transitive.WithK.html
        
        Relation.Binary.Construct.Closure.Transitive.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.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.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.Definitions.html
        
        Relation.Binary.Morphism.OrderMonomorphism.html
        
        Relation.Binary.Morphism.RelMonomorphism.html
        
        Relation.Binary.Morphism.Structures.html
        
        Relation.Binary.Morphism.html
        
        Relation.Binary.OrderMorphism.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.Core.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.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.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.html
        
        Size.html
        
        Strict.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.html
        
        Text.Pretty.Core.html
        
        Text.Pretty.html
        
        Text.Printf.html
        
        Text.Tabular.Base.html
        
        Text.Tabular.List.html
        
        Text.Tabular.Vec.html
        
        Text.Tree.Linear.html
  - licenses/
    - Agda-stdlib-docs/
      - LICENCE

Agda-stdlib-docs-1.3-5.fc34 in Fedora 34

Changelog

Provides

Files