| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: Agda-stdlib-docs | Distribution: Fedora Project |
| Version: 1.7.3 | Vendor: Fedora Project |
| Release: 7.fc41 | Build date: Wed Jul 17 16:47:54 2024 |
| Group: Unspecified | Build host: buildvm-x86-12.iad2.fedoraproject.org |
| Size: 44027703 | Source RPM: Agda-stdlib-1.7.3-7.fc41.src.rpm |
| Packager: Fedora Project | |
| Url: https://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary | |
| Summary: Agda standard libraries documentation | |
This package provides the html documentation for the stdlibs generated by the Agda compiler program.
MIT
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Sat May 18 2024 Jens Petersen <petersen@redhat.com> - 1.7.3-6 - rebuild for Agda 2.6.4.3 * Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Jan 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Dec 07 2023 Jens Petersen <petersen@redhat.com> - 1.7.3-2 - bump for Agda-2.6.4.1 * Mon Oct 16 2023 Jens Petersen <petersen@redhat.com> - 1.7.3-1 - update to 1.7.3 for Agda 2.6.4 * Fri Jul 28 2023 Jens Petersen <petersen@redhat.com> - 1.7.2-1 - https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Mon Feb 20 2023 Jens Petersen <petersen@redhat.com> - 1.7.1-5 - rebuild * Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
/usr/share/doc/Agda-stdlib-docs /usr/share/doc/Agda-stdlib-docs/CHANGELOG /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.01.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.02.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.03.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.04.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.05.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.06.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.07.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.08.1.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.08.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.09.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.10.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.11.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.12.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.13.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.14.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.15.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.16.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.17.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.0.1.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.0.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.1.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.2.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.3.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.4.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.5.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.6.md /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.7.2.md /usr/share/doc/Agda-stdlib-docs/Everything.agda /usr/share/doc/Agda-stdlib-docs/EverythingSafe.agda /usr/share/doc/Agda-stdlib-docs/HACKING.md /usr/share/doc/Agda-stdlib-docs/README /usr/share/doc/Agda-stdlib-docs/README.agda /usr/share/doc/Agda-stdlib-docs/README.md /usr/share/doc/Agda-stdlib-docs/README/Axiom.agda /usr/share/doc/Agda-stdlib-docs/README/Case.agda /usr/share/doc/Agda-stdlib-docs/README/Data /usr/share/doc/Agda-stdlib-docs/README/Data.agda /usr/share/doc/Agda-stdlib-docs/README/Data/Container /usr/share/doc/Agda-stdlib-docs/README/Data/Container/FreeMonad.agda /usr/share/doc/Agda-stdlib-docs/README/Data/Container/Indexed.agda /usr/share/doc/Agda-stdlib-docs/README/Data/Integer.agda /usr/share/doc/Agda-stdlib-docs/README/Data/List /usr/share/doc/Agda-stdlib-docs/README/Data/List.agda /usr/share/doc/Agda-stdlib-docs/README/Data/List/Fresh.agda /usr/share/doc/Agda-stdlib-docs/README/Data/List/Membership.agda /usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation /usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Binary /usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Binary/Equality.agda /usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Binary/Permutation.agda /usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Binary/Pointwise.agda /usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Binary/Subset.agda /usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Ternary /usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Ternary/Interleaving.agda /usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Unary /usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Unary/All.agda /usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Unary/Any.agda /usr/share/doc/Agda-stdlib-docs/README/Data/Nat /usr/share/doc/Agda-stdlib-docs/README/Data/Nat.agda /usr/share/doc/Agda-stdlib-docs/README/Data/Nat/Induction.agda /usr/share/doc/Agda-stdlib-docs/README/Data/Record.agda /usr/share/doc/Agda-stdlib-docs/README/Data/Tree /usr/share/doc/Agda-stdlib-docs/README/Data/Tree/AVL.agda /usr/share/doc/Agda-stdlib-docs/README/Data/Tree/Binary.agda /usr/share/doc/Agda-stdlib-docs/README/Data/Tree/Rose.agda /usr/share/doc/Agda-stdlib-docs/README/Data/Trie /usr/share/doc/Agda-stdlib-docs/README/Data/Trie/NonDependent.agda /usr/share/doc/Agda-stdlib-docs/README/Data/Wrap.agda /usr/share/doc/Agda-stdlib-docs/README/Debug /usr/share/doc/Agda-stdlib-docs/README/Debug/Trace.agda /usr/share/doc/Agda-stdlib-docs/README/Design /usr/share/doc/Agda-stdlib-docs/README/Design/Decidability.agda /usr/share/doc/Agda-stdlib-docs/README/Design/Fixity.agda /usr/share/doc/Agda-stdlib-docs/README/Design/Hierarchies.agda /usr/share/doc/Agda-stdlib-docs/README/Foreign /usr/share/doc/Agda-stdlib-docs/README/Foreign/Haskell.agda /usr/share/doc/Agda-stdlib-docs/README/Function /usr/share/doc/Agda-stdlib-docs/README/Function/Reasoning.agda /usr/share/doc/Agda-stdlib-docs/README/IO.agda /usr/share/doc/Agda-stdlib-docs/README/Inspect.agda /usr/share/doc/Agda-stdlib-docs/README/Nary.agda /usr/share/doc/Agda-stdlib-docs/README/Reflection /usr/share/doc/Agda-stdlib-docs/README/Reflection/External.agda /usr/share/doc/Agda-stdlib-docs/README/Relation /usr/share/doc/Agda-stdlib-docs/README/Relation/Binary /usr/share/doc/Agda-stdlib-docs/README/Relation/Binary/TypeClasses.agda /usr/share/doc/Agda-stdlib-docs/README/Tactic /usr/share/doc/Agda-stdlib-docs/README/Tactic/MonoidSolver.agda /usr/share/doc/Agda-stdlib-docs/README/Tactic/RingSolver.agda /usr/share/doc/Agda-stdlib-docs/README/Text /usr/share/doc/Agda-stdlib-docs/README/Text/Pretty.agda /usr/share/doc/Agda-stdlib-docs/README/Text/Printf.agda /usr/share/doc/Agda-stdlib-docs/README/Text/Regex.agda /usr/share/doc/Agda-stdlib-docs/README/Text/Tabular.agda /usr/share/doc/Agda-stdlib-docs/html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Bool.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Coinduction.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.Erase.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Float.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Float.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNat.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNeg.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromString.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.IO.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Int.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.List.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Maybe.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Nat.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.External.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Sigma.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Size.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Strict.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.TrustMe.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Unit.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Word.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Word.html /usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.html /usr/share/doc/Agda-stdlib-docs/html/Agda.css /usr/share/doc/Agda-stdlib-docs/html/Algebra.Bundles.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Base.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.DirectProduct.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LexProduct.Base.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LexProduct.Inner.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LexProduct.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LiftedChoice.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Base.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Max.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.MaxOp.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Min.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.MinMaxOp.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.MinOp.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.Subst.Equality.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.Zero.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Core.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.RawMagma.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.RawMonoid.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.RawSemiring.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Bundles.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Consequences.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.DirectProduct.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.TensorUnit.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.Zero.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Bi.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Left.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Right.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Structures.Biased.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Structures.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Consequences.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Definitions.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.GroupMonomorphism.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.LatticeMonomorphism.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.MagmaMonomorphism.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.MonoidMonomorphism.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.RingMonomorphism.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Structures.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.CommutativeMonoid.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.AbelianGroup.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.Expression.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CancellativeCommutativeSemiring.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMagma.Divisibility.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.Mult.TCOptimised.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.Mult.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.Sum.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemigroup.Divisibility.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemigroup.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemiring.Exp.TCOptimised.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemiring.Exp.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.DistributiveLattice.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Group.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Lattice.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Magma.Divisibility.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Divisibility.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Mult.TCOptimised.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Mult.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Sum.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Ring.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semigroup.Divisibility.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semigroup.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semilattice.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Divisibility.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Exp.TCOptimised.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Exp.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Mult.TCOptimised.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Mult.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Primality.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Sum.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.CommutativeMonoid.Example.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.CommutativeMonoid.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.IdempotentCommutativeMonoid.Example.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.IdempotentCommutativeMonoid.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Monoid.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.AlmostCommutativeRing.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.Lemmas.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.NaturalCoefficients.Default.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.NaturalCoefficients.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.Simple.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.Biased.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.html /usr/share/doc/Agda-stdlib-docs/html/Algebra.html /usr/share/doc/Agda-stdlib-docs/html/Axiom.DoubleNegationElimination.html /usr/share/doc/Agda-stdlib-docs/html/Axiom.ExcludedMiddle.html /usr/share/doc/Agda-stdlib-docs/html/Axiom.Extensionality.Heterogeneous.html /usr/share/doc/Agda-stdlib-docs/html/Axiom.Extensionality.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Axiom.UniquenessOfIdentityProofs.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Axiom.UniquenessOfIdentityProofs.html /usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Predicate.html /usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.html /usr/share/doc/Agda-stdlib-docs/html/Category.Comonad.html /usr/share/doc/Agda-stdlib-docs/html/Category.Functor.Predicate.html /usr/share/doc/Agda-stdlib-docs/html/Category.Functor.html /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Continuation.html /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Partiality.All.html /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Partiality.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Partiality.html /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Predicate.html /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Reader.html /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.State.html /usr/share/doc/Agda-stdlib-docs/html/Category.Monad.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Cofin.Literals.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Cofin.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Colist.Bisimilarity.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Colist.Categorical.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Colist.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Colist.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Conat.Bisimilarity.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Conat.Literals.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Conat.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Conat.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Covec.Bisimilarity.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Covec.Categorical.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Covec.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Covec.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Covec.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Cowriter.Bisimilarity.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Cowriter.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Delay.Bisimilarity.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Delay.Categorical.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Delay.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Delay.html /usr/share/doc/Agda-stdlib-docs/html/Codata.M.Bisimilarity.html /usr/share/doc/Agda-stdlib-docs/html/Codata.M.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Codata.M.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Cofin.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Base.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Bisimilarity.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Infinite-merge.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Relation.Unary.All.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Relation.Unary.Any.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.Relation.Unary.Any.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Colist.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Conat.Base.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Conat.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Conversion.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Costring.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Covec.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.M.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.M.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Notation.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Stream.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Stream.Bisimilarity.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Stream.Categorical.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Stream.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Stream.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Stream.html /usr/share/doc/Agda-stdlib-docs/html/Codata.Thunk.html /usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Show.html /usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Solver.html /usr/share/doc/Agda-stdlib-docs/html/Data.Bool.html /usr/share/doc/Agda-stdlib-docs/html/Data.BoundedVec.Inefficient.html /usr/share/doc/Agda-stdlib-docs/html/Data.BoundedVec.html /usr/share/doc/Agda-stdlib-docs/html/Data.Char.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Char.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Char.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Char.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Combinator.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Combinator.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Fixpoints.Guarded.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Fixpoints.Sized.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.FreeMonad.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.Combinator.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.Fixpoints.Guarded.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.FreeMonad.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Membership.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Morphism.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Morphism.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Related.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Relation.Binary.Equality.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Relation.Binary.Pointwise.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Relation.Binary.Pointwise.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Relation.Unary.Any.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.Relation.Unary.Any.html /usr/share/doc/Agda-stdlib-docs/html/Data.Container.html /usr/share/doc/Agda-stdlib-docs/html/Data.DifferenceList.html /usr/share/doc/Agda-stdlib-docs/html/Data.DifferenceNat.html /usr/share/doc/Agda-stdlib-docs/html/Data.DifferenceVec.html /usr/share/doc/Agda-stdlib-docs/html/Data.Digit.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Digit.html /usr/share/doc/Agda-stdlib-docs/html/Data.Empty.Irrelevant.html /usr/share/doc/Agda-stdlib-docs/html/Data.Empty.Polymorphic.html /usr/share/doc/Agda-stdlib-docs/html/Data.Empty.html /usr/share/doc/Agda-stdlib-docs/html/Data.Erased.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Induction.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Literals.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Patterns.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Permutation.Components.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Permutation.Transposition.List.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Permutation.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Reflection.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Show.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Subset.Induction.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Subset.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Subset.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.Example.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.Lemmas.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.List.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.html /usr/share/doc/Agda-stdlib-docs/html/Data.Fin.html /usr/share/doc/Agda-stdlib-docs/html/Data.Float.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Float.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Float.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Float.html /usr/share/doc/Agda-stdlib-docs/html/Data.Graph.Acyclic.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Coprimality.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.DivMod.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Divisibility.Signed.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Divisibility.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.GCD.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.LCM.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Literals.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Show.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Solver.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Tactic.RingSolver.html /usr/share/doc/Agda-stdlib-docs/html/Data.Integer.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Categorical.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Countdown.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Extrema.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Extrema.Nat.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Extrema.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Fresh.Membership.Setoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Fresh.Membership.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Fresh.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Fresh.Relation.Unary.All.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Fresh.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Fresh.Relation.Unary.Any.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Fresh.Relation.Unary.Any.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Fresh.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Kleene.AsList.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Kleene.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Kleene.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Literals.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Membership.DecPropositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Membership.DecSetoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Membership.Propositional.Properties.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Membership.Propositional.Properties.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Membership.Propositional.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Membership.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Membership.Setoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Membership.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.NonEmpty.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.NonEmpty.Categorical.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.NonEmpty.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.NonEmpty.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.NonEmpty.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.BagAndSetEquality.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Disjoint.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Disjoint.Setoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Disjoint.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Equality.DecPropositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Equality.DecSetoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Equality.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Equality.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Infix.Heterogeneous.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Infix.Heterogeneous.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Infix.Homogeneous.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Lex.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Lex.NonStrict.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Lex.Strict.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Lex.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Permutation.Homogeneous.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Permutation.Propositional.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Permutation.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Permutation.Setoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Permutation.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Pointwise.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Pointwise.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Pointwise.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Prefix.Heterogeneous.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Prefix.Heterogeneous.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Prefix.Homogeneous.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.DecPropositional.Solver.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.DecPropositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.DecSetoid.Solver.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.DecSetoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.Heterogeneous.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.Heterogeneous.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.Heterogeneous.Solver.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.Heterogeneous.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.Propositional.Disjoint.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.Propositional.Example.UniqueBoundVariables.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.Propositional.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.Setoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Sublist.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Subset.Propositional.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Subset.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Subset.Setoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Subset.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Suffix.Heterogeneous.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Suffix.Heterogeneous.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Suffix.Homogeneous.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Appending.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Appending.Propositional.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Appending.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Appending.Setoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Appending.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Appending.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Interleaving.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Interleaving.Propositional.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Interleaving.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Interleaving.Setoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Interleaving.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Interleaving.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.All.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.AllPairs.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.AllPairs.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.AllPairs.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Any.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Any.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Enumerates.Setoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Enumerates.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.First.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.First.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Grouped.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Grouped.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Linked.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Linked.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Sorted.TotalOrder.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Sorted.TotalOrder.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Unique.DecPropositional.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Unique.DecPropositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Unique.DecSetoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Unique.DecSetoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Unique.Propositional.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Unique.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Unique.Setoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Unique.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Reverse.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Sort.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Sort.MergeSort.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Sort.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Zipper.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.Zipper.html /usr/share/doc/Agda-stdlib-docs/html/Data.List.html /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Categorical.html /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Relation.Binary.Connected.html /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Relation.Binary.Pointwise.html /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Relation.Unary.All.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Relation.Unary.Any.html /usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Binary.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Binary.Induction.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Binary.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Binary.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Binary.Subtraction.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Binary.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Coprimality.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.DivMod.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.DivMod.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.DivMod.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Divisibility.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Divisibility.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.GCD.Lemmas.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.GCD.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.GeneralisedArithmetic.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Induction.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.InfinitelyOften.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.LCM.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Literals.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Primality.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Properties.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.PseudoRandom.LCG.Unsafe.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.PseudoRandom.LCG.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Reflection.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Show.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Show.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Solver.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Tactic.RingSolver.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.Nat.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Algebra.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Categorical.Examples.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Categorical.Left.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Categorical.Left.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Categorical.Right.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Categorical.Right.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Function.Dependent.Propositional.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Function.Dependent.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Function.Dependent.Setoid.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Function.Dependent.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Function.NonDependent.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Function.NonDependent.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Nary.NonDependent.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Properties.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Relation.Binary.Lex.NonStrict.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Relation.Binary.Lex.Strict.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Relation.Binary.Pointwise.Dependent.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Relation.Binary.Pointwise.Dependent.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Relation.Binary.Pointwise.NonDependent.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Data.Product.html /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.Literals.html /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.Show.html /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.Solver.html /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.Unnormalised.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.Unnormalised.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.Unnormalised.Solver.html /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.Unnormalised.html /usr/share/doc/Agda-stdlib-docs/html/Data.Rational.html /usr/share/doc/Agda-stdlib-docs/html/Data.Record.html /usr/share/doc/Agda-stdlib-docs/html/Data.Refinement.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Data.Refinement.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sign.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sign.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sign.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sign.html /usr/share/doc/Agda-stdlib-docs/html/Data.Star.BoundedVec.html /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Decoration.html /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Environment.html /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Fin.html /usr/share/doc/Agda-stdlib-docs/html/Data.Star.List.html /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Nat.html /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Pointer.html /usr/share/doc/Agda-stdlib-docs/html/Data.Star.Vec.html /usr/share/doc/Agda-stdlib-docs/html/Data.String.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.String.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.String.Literals.html /usr/share/doc/Agda-stdlib-docs/html/Data.String.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.String.Unsafe.html /usr/share/doc/Agda-stdlib-docs/html/Data.String.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Algebra.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Categorical.Examples.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Categorical.Left.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Categorical.Right.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Function.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Function.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Relation.Binary.LeftOrder.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Relation.Binary.Pointwise.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Data.Sum.html /usr/share/doc/Agda-stdlib-docs/html/Data.Table.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Table.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Table.Relation.Binary.Equality.html /usr/share/doc/Agda-stdlib-docs/html/Data.Table.html /usr/share/doc/Agda-stdlib-docs/html/Data.These.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.These.Categorical.Left.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.These.Categorical.Left.html /usr/share/doc/Agda-stdlib-docs/html/Data.These.Categorical.Right.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.These.Categorical.Right.html /usr/share/doc/Agda-stdlib-docs/html/Data.These.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.These.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.These.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Height.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Indexed.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Indexed.Relation.Unary.Any.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Indexed.Relation.Unary.Any.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Indexed.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.IndexedMap.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Key.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Map.Relation.Unary.Any.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Map.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.NonEmpty.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.NonEmpty.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Relation.Unary.Any.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Sets.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.Value.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.AVL.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.Binary.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.Binary.Relation.Unary.All.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.Binary.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.Binary.Show.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.Binary.Zipper.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.Binary.Zipper.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.Binary.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.Rose.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.Rose.Show.html /usr/share/doc/Agda-stdlib-docs/html/Data.Tree.Rose.html /usr/share/doc/Agda-stdlib-docs/html/Data.Trie.NonEmpty.html /usr/share/doc/Agda-stdlib-docs/html/Data.Trie.html /usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Unit.NonEta.html /usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Polymorphic.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Polymorphic.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Polymorphic.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Polymorphic.html /usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Unit.html /usr/share/doc/Agda-stdlib-docs/html/Data.Universe.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/Data.Universe.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Bounded.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Bounded.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Categorical.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Functional.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Functional.Relation.Binary.Equality.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Functional.Relation.Binary.Pointwise.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Functional.Relation.Binary.Pointwise.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Functional.Relation.Unary.All.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Functional.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Functional.Relation.Unary.Any.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Functional.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Membership.DecPropositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Membership.DecSetoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Membership.Propositional.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Membership.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Membership.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.N-ary.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Properties.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Recursive.Categorical.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Recursive.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Recursive.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Binary.Equality.DecPropositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Binary.Equality.DecSetoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Binary.Equality.Propositional.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Binary.Equality.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Binary.Equality.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Binary.Lex.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Binary.Lex.NonStrict.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Binary.Lex.Strict.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Binary.Pointwise.Extensional.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Binary.Pointwise.Inductive.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Unary.All.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Unary.AllPairs.Core.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Unary.AllPairs.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Unary.AllPairs.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Unary.Any.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Unary.Any.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Unary.Unique.Propositional.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Unary.Unique.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Unary.Unique.Setoid.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Unary.Unique.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Data.Vec.html /usr/share/doc/Agda-stdlib-docs/html/Data.W.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/Data.W.Sized.html /usr/share/doc/Agda-stdlib-docs/html/Data.W.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Data.W.html /usr/share/doc/Agda-stdlib-docs/html/Data.Word.Base.html /usr/share/doc/Agda-stdlib-docs/html/Data.Word.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Data.Word.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Data.Word.html /usr/share/doc/Agda-stdlib-docs/html/Data.Wrap.html /usr/share/doc/Agda-stdlib-docs/html/Debug.Trace.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Applicative.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Applicative.Predicate.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Applicative.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Comonad.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Functor.Predicate.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Functor.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.Continuation.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.Partiality.All.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.Partiality.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.Partiality.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.Predicate.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.Reader.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.State.html /usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.html /usr/share/doc/Agda-stdlib-docs/html/Everything.html /usr/share/doc/Agda-stdlib-docs/html/EverythingSafe.html /usr/share/doc/Agda-stdlib-docs/html/Foreign.Haskell.Coerce.html /usr/share/doc/Agda-stdlib-docs/html/Foreign.Haskell.Either.html /usr/share/doc/Agda-stdlib-docs/html/Foreign.Haskell.Pair.html /usr/share/doc/Agda-stdlib-docs/html/Foreign.Haskell.html /usr/share/doc/Agda-stdlib-docs/html/Function.Base.html /usr/share/doc/Agda-stdlib-docs/html/Function.Bijection.html /usr/share/doc/Agda-stdlib-docs/html/Function.Bundles.html /usr/share/doc/Agda-stdlib-docs/html/Function.Construct.Composition.html /usr/share/doc/Agda-stdlib-docs/html/Function.Construct.Identity.html /usr/share/doc/Agda-stdlib-docs/html/Function.Construct.Symmetry.html /usr/share/doc/Agda-stdlib-docs/html/Function.Core.html /usr/share/doc/Agda-stdlib-docs/html/Function.Definitions.Core1.html /usr/share/doc/Agda-stdlib-docs/html/Function.Definitions.Core2.html /usr/share/doc/Agda-stdlib-docs/html/Function.Definitions.html /usr/share/doc/Agda-stdlib-docs/html/Function.Endomorphism.Propositional.html /usr/share/doc/Agda-stdlib-docs/html/Function.Endomorphism.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Function.Equality.html /usr/share/doc/Agda-stdlib-docs/html/Function.Equivalence.html /usr/share/doc/Agda-stdlib-docs/html/Function.HalfAdjointEquivalence.html /usr/share/doc/Agda-stdlib-docs/html/Function.Identity.Categorical.html /usr/share/doc/Agda-stdlib-docs/html/Function.Identity.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Function.Injection.html /usr/share/doc/Agda-stdlib-docs/html/Function.Inverse.html /usr/share/doc/Agda-stdlib-docs/html/Function.LeftInverse.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Bundles.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Core.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Definitions.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Nat.Bundles.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Nat.Core.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Nat.Definitions.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Nat.Structures.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Nat.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Rational.Bundles.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Rational.Core.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Rational.Definitions.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Rational.Structures.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Rational.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.Structures.html /usr/share/doc/Agda-stdlib-docs/html/Function.Metric.html /usr/share/doc/Agda-stdlib-docs/html/Function.Nary.NonDependent.Base.html /usr/share/doc/Agda-stdlib-docs/html/Function.Nary.NonDependent.html /usr/share/doc/Agda-stdlib-docs/html/Function.Properties.Equivalence.html /usr/share/doc/Agda-stdlib-docs/html/Function.Properties.Inverse.html /usr/share/doc/Agda-stdlib-docs/html/Function.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Function.Reasoning.html /usr/share/doc/Agda-stdlib-docs/html/Function.Related.TypeIsomorphisms.Solver.html /usr/share/doc/Agda-stdlib-docs/html/Function.Related.TypeIsomorphisms.html /usr/share/doc/Agda-stdlib-docs/html/Function.Related.html /usr/share/doc/Agda-stdlib-docs/html/Function.Structures.html /usr/share/doc/Agda-stdlib-docs/html/Function.Surjection.html /usr/share/doc/Agda-stdlib-docs/html/Function.html /usr/share/doc/Agda-stdlib-docs/html/IO.Base.html /usr/share/doc/Agda-stdlib-docs/html/IO.Finite.html /usr/share/doc/Agda-stdlib-docs/html/IO.Infinite.html /usr/share/doc/Agda-stdlib-docs/html/IO.Primitive.Finite.html /usr/share/doc/Agda-stdlib-docs/html/IO.Primitive.Infinite.html /usr/share/doc/Agda-stdlib-docs/html/IO.Primitive.html /usr/share/doc/Agda-stdlib-docs/html/IO.html /usr/share/doc/Agda-stdlib-docs/html/Induction.Lexicographic.html /usr/share/doc/Agda-stdlib-docs/html/Induction.WellFounded.html /usr/share/doc/Agda-stdlib-docs/html/Induction.html /usr/share/doc/Agda-stdlib-docs/html/Level.Literals.html /usr/share/doc/Agda-stdlib-docs/html/Level.html /usr/share/doc/Agda-stdlib-docs/html/README.Axiom.html /usr/share/doc/Agda-stdlib-docs/html/README.Case.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.Container.FreeMonad.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.Container.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.Integer.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.List.Fresh.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.List.Membership.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.List.Relation.Binary.Equality.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.List.Relation.Binary.Permutation.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.List.Relation.Binary.Pointwise.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.List.Relation.Binary.Subset.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.List.Relation.Ternary.Interleaving.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.List.Relation.Unary.All.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.List.Relation.Unary.Any.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.List.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.Nat.Induction.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.Nat.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.Record.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.Tree.AVL.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.Trie.NonDependent.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.Wrap.html /usr/share/doc/Agda-stdlib-docs/html/README.Data.html /usr/share/doc/Agda-stdlib-docs/html/README.Debug.Trace.html /usr/share/doc/Agda-stdlib-docs/html/README.Design.Decidability.html /usr/share/doc/Agda-stdlib-docs/html/README.Design.Hierarchies.html /usr/share/doc/Agda-stdlib-docs/html/README.Foreign.Haskell.html /usr/share/doc/Agda-stdlib-docs/html/README.Function.Reasoning.html /usr/share/doc/Agda-stdlib-docs/html/README.IO.html /usr/share/doc/Agda-stdlib-docs/html/README.Inspect.html /usr/share/doc/Agda-stdlib-docs/html/README.Nary.html /usr/share/doc/Agda-stdlib-docs/html/README.Tactic.MonoidSolver.html /usr/share/doc/Agda-stdlib-docs/html/README.Tactic.RingSolver.html /usr/share/doc/Agda-stdlib-docs/html/README.Text.Pretty.html /usr/share/doc/Agda-stdlib-docs/html/README.Text.Printf.html /usr/share/doc/Agda-stdlib-docs/html/README.Text.Regex.html /usr/share/doc/Agda-stdlib-docs/html/README.Text.Tabular.html /usr/share/doc/Agda-stdlib-docs/html/README.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Abstraction.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Annotated.Free.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Annotated.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Argument.Information.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Argument.Modality.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Argument.Quantity.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Argument.Relevance.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Argument.Visibility.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Argument.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.DeBruijn.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Definition.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.External.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Literal.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Meta.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Name.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Pattern.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Show.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Term.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Traversal.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.TypeChecking.Format.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.TypeChecking.Monad.Categorical.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.TypeChecking.Monad.Instances.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.TypeChecking.Monad.Syntax.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.TypeChecking.Monad.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.Universe.html /usr/share/doc/Agda-stdlib-docs/html/Reflection.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Bundles.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Consequences.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Add.Extrema.Equality.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Add.Extrema.NonStrict.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Add.Extrema.Strict.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Add.Infimum.Equality.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Add.Infimum.NonStrict.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Add.Infimum.Strict.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Add.Point.Equality.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Add.Supremum.Equality.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Add.Supremum.NonStrict.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Add.Supremum.Strict.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Always.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.Equivalence.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.Equivalence.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.Reflexive.Properties.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.Reflexive.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.Reflexive.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.ReflexiveTransitive.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.Symmetric.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.SymmetricTransitive.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.Transitive.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Closure.Transitive.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Composition.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Constant.Core.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Constant.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Converse.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Flip.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.FromPred.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.FromRel.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Intersection.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.NaturalOrder.Left.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.NaturalOrder.Right.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Never.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.NonStrictToStrict.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.On.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.StrictToNonStrict.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Subst.Equality.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Construct.Union.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Core.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Definitions.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.HeterogeneousEquality.Core.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.HeterogeneousEquality.Quotients.Examples.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.HeterogeneousEquality.Quotients.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.HeterogeneousEquality.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Heterogeneous.Bundles.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Heterogeneous.Construct.At.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Heterogeneous.Core.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Heterogeneous.Definitions.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Heterogeneous.Structures.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Heterogeneous.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Homogeneous.Bundles.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Homogeneous.Construct.At.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Homogeneous.Core.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Homogeneous.Definitions.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Homogeneous.Structures.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Homogeneous.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Lattice.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Morphism.Bundles.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Morphism.Construct.Composition.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Morphism.Construct.Constant.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Morphism.Construct.Identity.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Morphism.Definitions.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Morphism.OrderMonomorphism.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Morphism.RelMonomorphism.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Morphism.Structures.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Morphism.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.BoundedJoinSemilattice.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.BoundedLattice.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.BoundedMeetSemilattice.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.DecTotalOrder.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.DistributiveLattice.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.HeytingAlgebra.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.JoinSemilattice.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Lattice.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.MeetSemilattice.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Poset.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Preorder.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictPartialOrder.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictTotalOrder.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.TotalOrder.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.Algebra.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.Core.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.TrustMe.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.WithK.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Double.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Partial.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Single.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Triple.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.MultiSetoid.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.PartialOrder.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.PartialSetoid.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Preorder.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Setoid.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.StrictPartialOrder.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reflection.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Rewriting.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Structures.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.TypeClasses.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nary.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Extrema.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Infimum.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Point.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Supremum.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.Core.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Implication.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Indexed.Negation.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Negation.Core.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Negation.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Product.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Reflects.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Sum.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Universe.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.Base.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.Preorder.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.StrictPartialOrder.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Consequences.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Indexed.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.PredicateTransformer.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Sized.html /usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.html /usr/share/doc/Agda-stdlib-docs/html/Size.html /usr/share/doc/Agda-stdlib-docs/html/Strict.html /usr/share/doc/Agda-stdlib-docs/html/System.Environment.Primitive.html /usr/share/doc/Agda-stdlib-docs/html/System.Environment.html /usr/share/doc/Agda-stdlib-docs/html/System.Exit.Primitive.html /usr/share/doc/Agda-stdlib-docs/html/System.Exit.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.MonoidSolver.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.AlmostCommutativeRing.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Expression.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.NatSet.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Base.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Addition.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Constants.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Exponentiation.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Lemmas.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Multiplication.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Negation.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Variables.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Parameters.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Reasoning.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Semantics.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.ReflectionHelp.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.NonReflective.html /usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.html /usr/share/doc/Agda-stdlib-docs/html/Text.Format.Generic.html /usr/share/doc/Agda-stdlib-docs/html/Text.Format.html /usr/share/doc/Agda-stdlib-docs/html/Text.Pretty.Core.html /usr/share/doc/Agda-stdlib-docs/html/Text.Pretty.html /usr/share/doc/Agda-stdlib-docs/html/Text.Printf.Generic.html /usr/share/doc/Agda-stdlib-docs/html/Text.Printf.html /usr/share/doc/Agda-stdlib-docs/html/Text.Regex.Base.html /usr/share/doc/Agda-stdlib-docs/html/Text.Regex.Derivative.Brzozowski.html /usr/share/doc/Agda-stdlib-docs/html/Text.Regex.Properties.Core.html /usr/share/doc/Agda-stdlib-docs/html/Text.Regex.Properties.html /usr/share/doc/Agda-stdlib-docs/html/Text.Regex.Search.html /usr/share/doc/Agda-stdlib-docs/html/Text.Regex.SmartConstructors.html /usr/share/doc/Agda-stdlib-docs/html/Text.Regex.String.Unsafe.html /usr/share/doc/Agda-stdlib-docs/html/Text.Regex.String.html /usr/share/doc/Agda-stdlib-docs/html/Text.Regex.html /usr/share/doc/Agda-stdlib-docs/html/Text.Tabular.Base.html /usr/share/doc/Agda-stdlib-docs/html/Text.Tabular.List.html /usr/share/doc/Agda-stdlib-docs/html/Text.Tabular.Vec.html /usr/share/licenses/Agda-stdlib-docs /usr/share/licenses/Agda-stdlib-docs/LICENCE
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Oct 27 06:41:21 2024