About

This package is 1.2 MB. It is available at http://ftp.debian.org/debian/pool/main/a/agda-stdlib/agda-stdlib-doc_0.8-2_all.deb .

View its full control file here: debian/control.

Description

standard library for Agda — documentation

Relations

This package does not depend on any other package.

This package does not recommend any other package.

This package suggests: agda-stdlib.

This package does not conflict with any other package.

Package Contents

This package is indexed.

agda-stdlib-doc 0.8-2 is in debian - jessie / main. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/agda-stdlib-doc/ root:root 0o755
/usr/share/doc/agda-stdlib-doc/changelog.Debian.gz application/gzip root:root 0o644 1.8 KB
/usr/share/doc/agda-stdlib-doc/copyright text/plain root:root 0o644 1.7 KB
/usr/share/doc/agda-stdlib-doc/html/ root:root 0o755
/usr/share/doc/agda-stdlib-doc/html/Agda.css text/plain root:root 0o644 1.2 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Primitive.html text/html root:root 0o644 7.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.Core.html text/html root:root 0o644 6.3 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.html text/html root:root 0o644 59.7 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.html text/html root:root 0o644 154.7 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Monoid-solver.html text/html root:root 0o644 81.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Morphism.html text/html root:root 0o644 39.0 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Operations.html text/html root:root 0o644 107.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.AbelianGroup.html text/html root:root 0o644 34.7 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.Expression.html text/html root:root 0o644 153.8 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.html text/html root:root 0o644 511.7 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.DistributiveLattice.html text/html root:root 0o644 58.2 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Group.html text/html root:root 0o644 59.1 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Lattice.html text/html root:root 0o644 65.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Ring.html text/html root:root 0o644 44.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.AbelianGroup.html text/html root:root 0o644 3.3 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.BooleanAlgebra.html text/html root:root 0o644 3.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.DistributiveLattice.html text/html root:root 0o644 3.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Group.html text/html root:root 0o644 3.2 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Lattice.html text/html root:root 0o644 3.3 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Ring.html text/html root:root 0o644 3.2 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.AlmostCommutativeRing.html text/html root:root 0o644 64.6 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.html text/html root:root 0o644 491.8 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Lemmas.html text/html root:root 0o644 154.2 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Natural-coefficients.html text/html root:root 0o644 34.8 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Simple.html text/html root:root 0o644 5.8 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Structures.html text/html root:root 0o644 209.3 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.html text/html root:root 0o644 7.2 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.Indexed.html text/html root:root 0o644 59.9 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.Predicate.html text/html root:root 0o644 27.6 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Functor.html text/html root:root 0o644 8.1 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Functor.Predicate.html text/html root:root 0o644 12.3 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Continuation.html text/html root:root 0o644 43.2 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.html text/html root:root 0o644 17.1 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Identity.html text/html root:root 0o644 6.2 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Indexed.html text/html root:root 0o644 45.4 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.All.html text/html root:root 0o644 146.2 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html text/html root:root 0o644 728.6 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Predicate.html text/html root:root 0o644 44.9 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.State.html text/html root:root 0o644 82.5 KB
/usr/share/doc/agda-stdlib-doc/html/Coinduction.html text/html root:root 0o644 13.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.html text/html root:root 0o644 323.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html text/html root:root 0o644 39.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html text/html root:root 0o644 22.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bin.html text/html root:root 0o644 173.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.html text/html root:root 0o644 24.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Properties.html text/html root:root 0o644 149.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Show.html text/html root:root 0o644 3.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.html text/html root:root 0o644 39.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.Inefficient.html text/html root:root 0o644 19.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Char.html text/html root:root 0o644 21.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Cofin.html text/html root:root 0o644 18.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.html text/html root:root 0o644 363.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.Infinite-merge.html text/html root:root 0o644 195.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Conat.html text/html root:root 0o644 24.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Any.html text/html root:root 0o644 247.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Combinator.html text/html root:root 0o644 153.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.FreeMonad.html text/html root:root 0o644 28.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.html text/html root:root 0o644 173.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Combinator.html text/html root:root 0o644 260.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Core.html text/html root:root 0o644 29.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.FreeMonad.html text/html root:root 0o644 40.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.html text/html root:root 0o644 281.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Covec.html text/html root:root 0o644 109.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceList.html text/html root:root 0o644 38.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceNat.html text/html root:root 0o644 11.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceVec.html text/html root:root 0o644 40.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Digit.html text/html root:root 0o644 57.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Empty.html text/html root:root 0o644 4.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Dec.html text/html root:root 0o644 131.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.html text/html root:root 0o644 116.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Properties.html text/html root:root 0o644 184.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Props.html text/html root:root 0o644 1.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.html text/html root:root 0o644 39.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Properties.html text/html root:root 0o644 116.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Props.html text/html root:root 0o644 1.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Example.html text/html root:root 0o644 71.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.html text/html root:root 0o644 81.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html text/html root:root 0o644 494.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.List.html text/html root:root 0o644 21.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Graph.Acyclic.html text/html root:root 0o644 191.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Addition.Properties.html text/html root:root 0o644 79.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Divisibility.html text/html root:root 0o644 11.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.html text/html root:root 0o644 137.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Multiplication.Properties.html text/html root:root 0o644 70.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Properties.html text/html root:root 0o644 280.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.html text/html root:root 0o644 46.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.Properties.html text/html root:root 0o644 141.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.BagAndSetEquality.html text/html root:root 0o644 254.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html text/html root:root 0o644 131.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.html text/html root:root 0o644 253.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html text/html root:root 0o644 624.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Countdown.html text/html root:root 0o644 197.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.html text/html root:root 0o644 213.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html text/html root:root 0o644 217.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html text/html root:root 0o644 31.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Properties.html text/html root:root 0o644 523.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Reverse.html text/html root:root 0o644 27.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.Core.html text/html root:root 0o644 5.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.html text/html root:root 0o644 119.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.M.html text/html root:root 0o644 13.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.M.Indexed.html text/html root:root 0o644 21.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Coprimality.html text/html root:root 0o644 115.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Divisibility.html text/html root:root 0o644 128.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html text/html root:root 0o644 68.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.html text/html root:root 0o644 122.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html text/html root:root 0o644 223.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.html text/html root:root 0o644 123.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.InfinitelyOften.html text/html root:root 0o644 55.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.LCM.html text/html root:root 0o644 86.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Primality.html text/html root:root 0o644 12.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.html text/html root:root 0o644 388.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.Simple.html text/html root:root 0o644 80.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Show.html text/html root:root 0o644 11.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Plus.html text/html root:root 0o644 50.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Product.html text/html root:root 0o644 94.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Product.N-ary.html text/html root:root 0o644 39.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.html text/html root:root 0o644 111.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.ReflexiveClosure.html text/html root:root 0o644 25.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.html text/html root:root 0o644 10.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.Properties.html text/html root:root 0o644 10.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.BoundedVec.html text/html root:root 0o644 25.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Decoration.html text/html root:root 0o644 73.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Environment.html text/html root:root 0o644 17.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Fin.html text/html root:root 0o644 8.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.html text/html root:root 0o644 98.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.List.html text/html root:root 0o644 8.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Nat.html text/html root:root 0o644 17.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Pointer.html text/html root:root 0o644 71.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Properties.html text/html root:root 0o644 98.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Vec.html text/html root:root 0o644 27.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Stream.html text/html root:root 0o644 100.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.String.html text/html root:root 0o644 38.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.html text/html root:root 0o644 38.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.Core.html text/html root:root 0o644 12.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.html text/html root:root 0o644 21.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Equality.html text/html root:root 0o644 68.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.html text/html root:root 0o644 203.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.N-ary.html text/html root:root 0o644 162.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Properties.html text/html root:root 0o644 354.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.W.html text/html root:root 0o644 17.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.W.Indexed.html text/html root:root 0o644 31.1 KB
/usr/share/doc/agda-stdlib-doc/html/Everything.html text/html root:root 0o644 77.1 KB
/usr/share/doc/agda-stdlib-doc/html/Foreign.Haskell.html text/html root:root 0o644 2.6 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Bijection.html text/html root:root 0o644 39.7 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Equality.html text/html root:root 0o644 66.3 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Equivalence.html text/html root:root 0o644 65.4 KB
/usr/share/doc/agda-stdlib-doc/html/Function.html text/html root:root 0o644 69.8 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Injection.html text/html root:root 0o644 29.6 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Inverse.html text/html root:root 0o644 90.7 KB
/usr/share/doc/agda-stdlib-doc/html/Function.LeftInverse.html text/html root:root 0o644 61.8 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Related.html text/html root:root 0o644 207.8 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Related.TypeIsomorphisms.html text/html root:root 0o644 378.7 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Surjection.html text/html root:root 0o644 45.7 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.html text/html root:root 0o644 31.1 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.Lexicographic.html text/html root:root 0o644 54.3 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.Nat.html text/html root:root 0o644 109.3 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.WellFounded.html text/html root:root 0o644 96.1 KB
/usr/share/doc/agda-stdlib-doc/html/IO.html text/html root:root 0o644 57.5 KB
/usr/share/doc/agda-stdlib-doc/html/IO.Primitive.html text/html root:root 0o644 18.9 KB
/usr/share/doc/agda-stdlib-doc/html/Irrelevance.html text/html root:root 0o644 3.9 KB
/usr/share/doc/agda-stdlib-doc/html/Level.html text/html root:root 0o644 5.2 KB
/usr/share/doc/agda-stdlib-doc/html/README.AVL.html text/html root:root 0o644 37.9 KB
/usr/share/doc/agda-stdlib-doc/html/README.Case.html text/html root:root 0o644 12.6 KB
/usr/share/doc/agda-stdlib-doc/html/README.html text/html root:root 0o644 36.0 KB
/usr/share/doc/agda-stdlib-doc/html/README.Integer.html text/html root:root 0o644 25.2 KB
/usr/share/doc/agda-stdlib-doc/html/README.Nat.html text/html root:root 0o644 19.3 KB
/usr/share/doc/agda-stdlib-doc/html/README.Record.html text/html root:root 0o644 19.1 KB
/usr/share/doc/agda-stdlib-doc/html/Record.html text/html root:root 0o644 146.4 KB
/usr/share/doc/agda-stdlib-doc/html/Reflection.html text/html root:root 0o644 231.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.Core.html text/html root:root 0o644 10.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.html text/html root:root 0o644 87.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html text/html root:root 0o644 131.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.EqReasoning.html text/html root:root 0o644 6.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Flip.html text/html root:root 0o644 148.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.Core.html text/html root:root 0o644 9.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.html text/html root:root 0o644 171.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.html text/html root:root 0o644 158.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Core.html text/html root:root 0o644 40.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.html text/html root:root 0o644 15.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.InducedPreorders.html text/html root:root 0o644 20.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.NonStrictLex.html text/html root:root 0o644 100.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.Pointwise.html text/html root:root 0o644 171.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html text/html root:root 0o644 238.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.NonStrictToStrict.html text/html root:root 0o644 63.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.On.html text/html root:root 0o644 152.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.OrderMorphism.html text/html root:root 0o644 30.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PartialOrderReasoning.html text/html root:root 0o644 4.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PreorderReasoning.html text/html root:root 0o644 22.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.NonStrictLex.html text/html root:root 0o644 121.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.Pointwise.html text/html root:root 0o644 337.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.StrictLex.html text/html root:root 0o644 225.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.DecTotalOrder.html text/html root:root 0o644 9.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.Poset.html text/html root:root 0o644 8.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.Preorder.html text/html root:root 0o644 9.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.StrictPartialOrder.html text/html root:root 0o644 9.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.StrictTotalOrder.html text/html root:root 0o644 9.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.TotalOrder.html text/html root:root 0o644 7.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.Core.html text/html root:root 0o644 17.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.html text/html root:root 0o644 118.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.TrustMe.html text/html root:root 0o644 7.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.DecTotalOrder.html text/html root:root 0o644 3.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Poset.html text/html root:root 0o644 3.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Preorder.html text/html root:root 0o644 3.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictPartialOrder.html text/html root:root 0o644 3.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictTotalOrder.html text/html root:root 0o644 3.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.TotalOrder.html text/html root:root 0o644 3.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Reflection.html text/html root:root 0o644 60.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.SetoidReasoning.html text/html root:root 0o644 23.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sigma.Pointwise.html text/html root:root 0o644 365.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Simple.html text/html root:root 0o644 13.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.StrictPartialOrderReasoning.html text/html root:root 0o644 5.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.StrictToNonStrict.html text/html root:root 0o644 67.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sum.html text/html root:root 0o644 492.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Vec.Pointwise.html text/html root:root 0o644 189.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Core.html text/html root:root 0o644 7.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Decidable.html text/html root:root 0o644 66.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.html text/html root:root 0o644 3.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Implication.html text/html root:root 0o644 9.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Negation.html text/html root:root 0o644 125.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Product.html text/html root:root 0o644 9.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Sum.html text/html root:root 0o644 16.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Universe.html text/html root:root 0o644 110.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.html text/html root:root 0o644 122.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.PredicateTransformer.html text/html root:root 0o644 78.8 KB
/usr/share/doc/agda-stdlib-doc/html/Size.html text/html root:root 0o644 4.4 KB
/usr/share/doc/agda-stdlib-doc/html/Universe.html text/html root:root 0o644 11.5 KB