agda-stdlib-doc 0.12-2 / usr / share

This file is indexed.

/usr/share/ is in agda-stdlib-doc 0.12-2.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/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 2.3 KB
/usr/share/doc/agda-stdlib-doc/changelog.gz application/gzip root:root 0o644 2.6 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.Builtin.Bool.html text/html root:root 0o644 4.4 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Char.html text/html root:root 0o644 6.0 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Coinduction.html text/html root:root 0o644 6.6 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Equality.html text/html root:root 0o644 4.2 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Float.html text/html root:root 0o644 12.0 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.IO.html text/html root:root 0o644 2.9 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Int.html text/html root:root 0o644 5.5 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.List.html text/html root:root 0o644 6.3 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Nat.html text/html root:root 0o644 30.2 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Reflection.html text/html root:root 0o644 115.2 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Size.html text/html root:root 0o644 3.1 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.String.html text/html root:root 0o644 6.4 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.TrustMe.html text/html root:root 0o644 3.1 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Unit.html text/html root:root 0o644 2.3 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Primitive.html text/html root:root 0o644 6.4 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.css text/plain root:root 0o644 1.2 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.8 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Monoid-solver.html text/html root:root 0o644 82.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Morphism.html text/html root:root 0o644 39.3 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Operations.html text/html root:root 0o644 107.9 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.AbelianGroup.html text/html root:root 0o644 34.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.Expression.html text/html root:root 0o644 154.1 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.html text/html root:root 0o644 509.3 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.DistributiveLattice.html text/html root:root 0o644 58.3 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Group.html text/html root:root 0o644 58.9 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Lattice.html text/html root:root 0o644 65.7 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Ring.html text/html root:root 0o644 44.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.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.9 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.RingSolver.html text/html root:root 0o644 492.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Structures.html text/html root:root 0o644 210.5 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/Category.Applicative.Indexed.html text/html root:root 0o644 60.0 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.Applicative.html text/html root:root 0o644 7.2 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.Functor.html text/html root:root 0o644 8.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.html text/html root:root 0o644 4.7 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.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 147.1 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html text/html root:root 0o644 732.7 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Predicate.html text/html root:root 0o644 38.3 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/Category.Monad.html text/html root:root 0o644 17.1 KB
/usr/share/doc/agda-stdlib-doc/html/Coinduction.html text/html root:root 0o644 7.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html text/html root:root 0o644 39.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html text/html root:root 0o644 23.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.html text/html root:root 0o644 311.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bin.html text/html root:root 0o644 210.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Base.html text/html root:root 0o644 20.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Properties.html text/html root:root 0o644 151.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Show.html text/html root:root 0o644 4.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.Inefficient.html text/html root:root 0o644 19.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.html text/html root:root 0o644 39.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Char.Base.html text/html root:root 0o644 7.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Char.Core.html text/html root:root 0o644 2.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Char.html text/html root:root 0o644 20.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Cofin.html text/html root:root 0o644 19.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.Infinite-merge.html text/html root:root 0o644 196.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.html text/html root:root 0o644 367.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Conat.html text/html root:root 0o644 25.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Any.html text/html root:root 0o644 248.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Combinator.html text/html root:root 0o644 154.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.FreeMonad.html text/html root:root 0o644 29.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Combinator.html text/html root:root 0o644 262.2 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 49.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.html text/html root:root 0o644 283.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.html text/html root:root 0o644 176.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Covec.html text/html root:root 0o644 111.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceList.html text/html root:root 0o644 38.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceNat.html text/html root:root 0o644 11.5 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.DifferenceVec.html text/html root:root 0o644 40.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Digit.html text/html root:root 0o644 58.0 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 132.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Properties.html text/html root:root 0o644 219.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Properties.html text/html root:root 0o644 117.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.html text/html root:root 0o644 41.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Example.html text/html root:root 0o644 72.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html text/html root:root 0o644 497.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.List.html text/html root:root 0o644 22.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.html text/html root:root 0o644 82.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.html text/html root:root 0o644 126.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Float.html text/html root:root 0o644 10.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Graph.Acyclic.html text/html root:root 0o644 193.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Addition.Properties.html text/html root:root 0o644 80.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Base.html text/html root:root 0o644 78.3 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.Multiplication.Properties.html text/html root:root 0o644 73.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Properties.html text/html root:root 0o644 285.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.html text/html root:root 0o644 68.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.Properties.html text/html root:root 0o644 142.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.html text/html root:root 0o644 47.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.BagAndSetEquality.html text/html root:root 0o644 256.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.html text/html root:root 0o644 255.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html text/html root:root 0o644 628.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html text/html root:root 0o644 135.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Base.html text/html root:root 0o644 186.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Countdown.html text/html root:root 0o644 198.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html text/html root:root 0o644 31.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html text/html root:root 0o644 229.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Properties.html text/html root:root 0o644 548.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Reverse.html text/html root:root 0o644 27.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.html text/html root:root 0o644 39.0 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.M.html text/html root:root 0o644 13.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.Base.html text/html root:root 0o644 57.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.html text/html root:root 0o644 68.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Base.html text/html root:root 0o644 98.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Coprimality.html text/html root:root 0o644 115.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html text/html root:root 0o644 96.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Divisibility.html text/html root:root 0o644 130.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html text/html root:root 0o644 225.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.html text/html root:root 0o644 124.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.InfinitelyOften.html text/html root:root 0o644 55.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.LCM.html text/html root:root 0o644 88.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Primality.html text/html root:root 0o644 12.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.Simple.html text/html root:root 0o644 82.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.html text/html root:root 0o644 408.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Show.html text/html root:root 0o644 11.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.html text/html root:root 0o644 34.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Plus.html text/html root:root 0o644 50.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Product.N-ary.html text/html root:root 0o644 39.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Product.html text/html root:root 0o644 94.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.html text/html root:root 0o644 112.9 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.Properties.html text/html root:root 0o644 10.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.html text/html root:root 0o644 11.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.BoundedVec.html text/html root:root 0o644 25.6 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.5 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.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 72.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Properties.html text/html root:root 0o644 99.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Vec.html text/html root:root 0o644 27.9 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.Stream.html text/html root:root 0o644 101.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.String.Base.html text/html root:root 0o644 17.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.String.html text/html root:root 0o644 26.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.html text/html root:root 0o644 39.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.Base.html text/html root:root 0o644 3.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.NonEta.html text/html root:root 0o644 12.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.html text/html root:root 0o644 20.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Equality.html text/html root:root 0o644 69.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.N-ary.html text/html root:root 0o644 163.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Properties.html text/html root:root 0o644 356.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.html text/html root:root 0o644 204.6 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 73.4 KB
/usr/share/doc/agda-stdlib-doc/html/Foreign.Haskell.html text/html root:root 0o644 3.0 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Bijection.html text/html root:root 0o644 40.4 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Equality.html text/html root:root 0o644 66.4 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Equivalence.html text/html root:root 0o644 65.8 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Injection.html text/html root:root 0o644 30.1 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Inverse.html text/html root:root 0o644 91.3 KB
/usr/share/doc/agda-stdlib-doc/html/Function.LeftInverse.html text/html root:root 0o644 62.3 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Related.TypeIsomorphisms.html text/html root:root 0o644 381.9 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Related.html text/html root:root 0o644 208.3 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Surjection.html text/html root:root 0o644 46.3 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/IO.Primitive.html text/html root:root 0o644 23.0 KB
/usr/share/doc/agda-stdlib-doc/html/IO.html text/html root:root 0o644 57.6 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.Lexicographic.html text/html root:root 0o644 54.4 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.Nat.html text/html root:root 0o644 110.4 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/Induction.html text/html root:root 0o644 31.1 KB
/usr/share/doc/agda-stdlib-doc/html/Irrelevance.html text/html root:root 0o644 1.5 KB
/usr/share/doc/agda-stdlib-doc/html/Level.html text/html root:root 0o644 5.6 KB
/usr/share/doc/agda-stdlib-doc/html/README.AVL.html text/html root:root 0o644 39.4 KB
/usr/share/doc/agda-stdlib-doc/html/README.Case.html text/html root:root 0o644 12.7 KB
/usr/share/doc/agda-stdlib-doc/html/README.Container.FreeMonad.html text/html root:root 0o644 28.1 KB
/usr/share/doc/agda-stdlib-doc/html/README.Integer.html text/html root:root 0o644 25.5 KB
/usr/share/doc/agda-stdlib-doc/html/README.Nat.html text/html root:root 0o644 19.5 KB
/usr/share/doc/agda-stdlib-doc/html/README.Record.html text/html root:root 0o644 16.6 KB
/usr/share/doc/agda-stdlib-doc/html/README.html text/html root:root 0o644 35.6 KB
/usr/share/doc/agda-stdlib-doc/html/Record.html text/html root:root 0o644 110.4 KB
/usr/share/doc/agda-stdlib-doc/html/Reflection.html text/html root:root 0o644 453.8 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 119.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html text/html root:root 0o644 124.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.EqReasoning.html text/html root:root 0o644 6.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Flip.html text/html root:root 0o644 147.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.Core.html text/html root:root 0o644 9.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.html text/html root:root 0o644 185.7 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.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.Pointwise.html text/html root:root 0o644 172.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html text/html root:root 0o644 236.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.NonStrictToStrict.html text/html root:root 0o644 62.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.On.html text/html root:root 0o644 151.9 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 122.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.Pointwise.html text/html root:root 0o644 340.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.StrictLex.html text/html root:root 0o644 223.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.DecTotalOrder.html text/html root:root 0o644 8.4 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.TrustMe.html text/html root:root 0o644 8.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.html text/html root:root 0o644 140.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Reflection.html text/html root:root 0o644 60.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.SetoidReasoning.html text/html root:root 0o644 23.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sigma.Pointwise.html text/html root:root 0o644 369.5 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 66.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sum.html text/html root:root 0o644 493.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Vec.Pointwise.html text/html root:root 0o644 189.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.html text/html root:root 0o644 160.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Decidable.html text/html root:root 0o644 67.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 126.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Product.html text/html root:root 0o644 9.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Sum.html text/html root:root 0o644 16.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Universe.html text/html root:root 0o644 110.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.html text/html root:root 0o644 7.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.PredicateTransformer.html text/html root:root 0o644 79.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.html text/html root:root 0o644 124.5 KB
/usr/share/doc/agda-stdlib-doc/html/Size.html text/html root:root 0o644 4.2 KB
/usr/share/doc/agda-stdlib-doc/html/Universe.html text/html root:root 0o644 11.5 KB

APT Browse - Built by Thomas Orozco.