agda-stdlib-doc 0.14-1 / usr

This file is indexed.

/usr/ is in agda-stdlib-doc 0.14-1.

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

File Mime Type Owner Mode Size
..
/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.4 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 2.5 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Char.html text/html root:root 0o644 3.6 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Coinduction.html text/html root:root 0o644 3.7 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Equality.html text/html root:root 0o644 2.3 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Float.html text/html root:root 0o644 9.7 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.IO.html text/html root:root 0o644 1.5 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Int.html text/html root:root 0o644 3.1 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.List.html text/html root:root 0o644 4.3 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Nat.html text/html root:root 0o644 17.9 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Reflection.html text/html root:root 0o644 78.7 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Size.html text/html root:root 0o644 1.7 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Strict.html text/html root:root 0o644 4.5 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.String.html text/html root:root 0o644 5.2 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.TrustMe.html text/html root:root 0o644 1.8 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Builtin.Unit.html text/html root:root 0o644 1.2 KB
/usr/share/doc/agda-stdlib-doc/html/Agda.Primitive.html text/html root:root 0o644 3.6 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.CommutativeMonoidSolver.Example.html text/html root:root 0o644 15.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.CommutativeMonoidSolver.html text/html root:root 0o644 75.8 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.Consequences.html text/html root:root 0o644 56.2 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.Core.html text/html root:root 0o644 3.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.html text/html root:root 0o644 44.7 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.IdempotentCommutativeMonoidSolver.Example.html text/html root:root 0o644 16.0 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.IdempotentCommutativeMonoidSolver.html text/html root:root 0o644 91.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Monoid-solver.html text/html root:root 0o644 50.7 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Morphism.html text/html root:root 0o644 25.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Operations.html text/html root:root 0o644 67.2 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.AbelianGroup.html text/html root:root 0o644 20.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.Expression.html text/html root:root 0o644 97.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.html text/html root:root 0o644 306.1 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.DistributiveLattice.html text/html root:root 0o644 34.9 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Group.html text/html root:root 0o644 35.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Lattice.html text/html root:root 0o644 66.6 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.Ring.html text/html root:root 0o644 26.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.AlmostCommutativeRing.html text/html root:root 0o644 41.6 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Lemmas.html text/html root:root 0o644 96.7 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Natural-coefficients.html text/html root:root 0o644 20.2 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Simple.html text/html root:root 0o644 3.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.html text/html root:root 0o644 305.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Structures.html text/html root:root 0o644 131.1 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.html text/html root:root 0o644 101.3 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.Indexed.html text/html root:root 0o644 37.2 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.Predicate.html text/html root:root 0o644 17.2 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.html text/html root:root 0o644 4.0 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Functor.Identity.html text/html root:root 0o644 2.9 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Functor.Predicate.html text/html root:root 0o644 7.3 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Functor.html text/html root:root 0o644 9.3 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Continuation.html text/html root:root 0o644 25.0 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Identity.html text/html root:root 0o644 3.3 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Indexed.html text/html root:root 0o644 27.1 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.All.html text/html root:root 0o644 92.0 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html text/html root:root 0o644 465.4 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Predicate.html text/html root:root 0o644 23.0 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.State.html text/html root:root 0o644 47.0 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.html text/html root:root 0o644 9.3 KB
/usr/share/doc/agda-stdlib-doc/html/Coinduction.html text/html root:root 0o644 4.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html text/html root:root 0o644 23.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html text/html root:root 0o644 13.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.html text/html root:root 0o644 196.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bin.Properties.html text/html root:root 0o644 67.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bin.html text/html root:root 0o644 75.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Base.html text/html root:root 0o644 12.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Properties.html text/html root:root 0o644 93.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Show.html text/html root:root 0o644 2.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.html text/html root:root 0o644 2.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.Inefficient.html text/html root:root 0o644 11.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.html text/html root:root 0o644 28.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Char.Base.html text/html root:root 0o644 4.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Char.Core.html text/html root:root 0o644 1.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Char.html text/html root:root 0o644 11.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Cofin.html text/html root:root 0o644 11.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.Infinite-merge.html text/html root:root 0o644 121.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.html text/html root:root 0o644 213.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Conat.html text/html root:root 0o644 14.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Any.html text/html root:root 0o644 149.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Combinator.html text/html root:root 0o644 93.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.FreeMonad.html text/html root:root 0o644 17.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Combinator.html text/html root:root 0o644 159.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Core.html text/html root:root 0o644 17.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.FreeMonad.html text/html root:root 0o644 29.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.html text/html root:root 0o644 168.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.html text/html root:root 0o644 103.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Covec.html text/html root:root 0o644 64.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceList.html text/html root:root 0o644 22.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceNat.html text/html root:root 0o644 6.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceVec.html text/html root:root 0o644 23.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Digit.html text/html root:root 0o644 36.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Empty.Irrelevant.html text/html root:root 0o644 1.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Empty.html text/html root:root 0o644 2.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Dec.html text/html root:root 0o644 78.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Properties.html text/html root:root 0o644 180.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Properties.html text/html root:root 0o644 95.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.html text/html root:root 0o644 23.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Example.html text/html root:root 0o644 44.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html text/html root:root 0o644 315.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.List.html text/html root:root 0o644 13.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.html text/html root:root 0o644 48.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.html text/html root:root 0o644 84.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Float.html text/html root:root 0o644 5.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Graph.Acyclic.html text/html root:root 0o644 115.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Addition.Properties.html text/html root:root 0o644 3.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Base.html text/html root:root 0o644 55.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Divisibility.html text/html root:root 0o644 6.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Multiplication.Properties.html text/html root:root 0o644 2.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Properties.html text/html root:root 0o644 419.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.html text/html root:root 0o644 23.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.Properties.html text/html root:root 0o644 120.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.html text/html root:root 0o644 27.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.BagAndSetEquality.html text/html root:root 0o644 161.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.Properties.html text/html root:root 0o644 21.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.Propositional.Properties.html text/html root:root 0o644 175.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.Propositional.html text/html root:root 0o644 33.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.html text/html root:root 0o644 19.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html text/html root:root 0o644 367.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html text/html root:root 0o644 22.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Base.html text/html root:root 0o644 114.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Countdown.html text/html root:root 0o644 98.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html text/html root:root 0o644 19.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html text/html root:root 0o644 141.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Properties.html text/html root:root 0o644 370.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Reverse.html text/html root:root 0o644 17.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.html text/html root:root 0o644 21.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.M.Indexed.html text/html root:root 0o644 12.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.M.html text/html root:root 0o644 7.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.Base.html text/html root:root 0o644 32.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.html text/html root:root 0o644 45.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Base.html text/html root:root 0o644 55.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Coprimality.html text/html root:root 0o644 69.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html text/html root:root 0o644 60.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Divisibility.html text/html root:root 0o644 94.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html text/html root:root 0o644 146.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.html text/html root:root 0o644 79.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GeneralisedArithmetic.html text/html root:root 0o644 57.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.InfinitelyOften.html text/html root:root 0o644 32.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.LCM.html text/html root:root 0o644 52.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Primality.html text/html root:root 0o644 6.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.Simple.html text/html root:root 0o644 3.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.html text/html root:root 0o644 437.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Show.html text/html root:root 0o644 6.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.html text/html root:root 0o644 4.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Plus.html text/html root:root 0o644 29.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Product.N-ary.html text/html root:root 0o644 23.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Product.html text/html root:root 0o644 55.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.Properties.html text/html root:root 0o644 27.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.html text/html root:root 0o644 48.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.ReflexiveClosure.html text/html root:root 0o644 15.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.Properties.html text/html root:root 0o644 18.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.html text/html root:root 0o644 6.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.BoundedVec.html text/html root:root 0o644 14.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Decoration.html text/html root:root 0o644 43.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Environment.html text/html root:root 0o644 9.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Fin.html text/html root:root 0o644 4.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.List.html text/html root:root 0o644 4.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Nat.html text/html root:root 0o644 10.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Pointer.html text/html root:root 0o644 42.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Properties.html text/html root:root 0o644 59.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Vec.html text/html root:root 0o644 15.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.html text/html root:root 0o644 55.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Stream.html text/html root:root 0o644 67.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.String.Base.html text/html root:root 0o644 10.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.String.html text/html root:root 0o644 15.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.html text/html root:root 0o644 31.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.Base.html text/html root:root 0o644 1.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.NonEta.html text/html root:root 0o644 6.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.html text/html root:root 0o644 10.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.All.Properties.html text/html root:root 0o644 113.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.All.html text/html root:root 0o644 52.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Equality.html text/html root:root 0o644 49.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.N-ary.html text/html root:root 0o644 93.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Properties.html text/html root:root 0o644 335.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.html text/html root:root 0o644 121.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.W.Indexed.html text/html root:root 0o644 17.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.W.html text/html root:root 0o644 9.2 KB
/usr/share/doc/agda-stdlib-doc/html/Everything.html text/html root:root 0o644 47.5 KB
/usr/share/doc/agda-stdlib-doc/html/Foreign.Haskell.html text/html root:root 0o644 1.6 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Bijection.html text/html root:root 0o644 23.2 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Equality.html text/html root:root 0o644 37.2 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Equivalence.html text/html root:root 0o644 37.8 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Injection.html text/html root:root 0o644 17.0 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Inverse.html text/html root:root 0o644 51.8 KB
/usr/share/doc/agda-stdlib-doc/html/Function.LeftInverse.html text/html root:root 0o644 37.3 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Related.TypeIsomorphisms.html text/html root:root 0o644 230.0 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Related.html text/html root:root 0o644 128.7 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Surjection.html text/html root:root 0o644 26.6 KB
/usr/share/doc/agda-stdlib-doc/html/Function.html text/html root:root 0o644 43.5 KB
/usr/share/doc/agda-stdlib-doc/html/IO.Primitive.html text/html root:root 0o644 13.1 KB
/usr/share/doc/agda-stdlib-doc/html/IO.html text/html root:root 0o644 32.9 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.Lexicographic.html text/html root:root 0o644 31.8 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.Nat.html text/html root:root 0o644 70.5 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.WellFounded.html text/html root:root 0o644 59.4 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.html text/html root:root 0o644 17.0 KB
/usr/share/doc/agda-stdlib-doc/html/Level.html text/html root:root 0o644 3.0 KB
/usr/share/doc/agda-stdlib-doc/html/README.AVL.html text/html root:root 0o644 23.3 KB
/usr/share/doc/agda-stdlib-doc/html/README.Case.html text/html root:root 0o644 6.9 KB
/usr/share/doc/agda-stdlib-doc/html/README.Container.FreeMonad.html text/html root:root 0o644 16.4 KB
/usr/share/doc/agda-stdlib-doc/html/README.Integer.html text/html root:root 0o644 15.3 KB
/usr/share/doc/agda-stdlib-doc/html/README.Nat.html text/html root:root 0o644 10.7 KB
/usr/share/doc/agda-stdlib-doc/html/README.Record.html text/html root:root 0o644 9.1 KB
/usr/share/doc/agda-stdlib-doc/html/README.html text/html root:root 0o644 20.7 KB
/usr/share/doc/agda-stdlib-doc/html/Record.html text/html root:root 0o644 61.5 KB
/usr/share/doc/agda-stdlib-doc/html/Reflection.html text/html root:root 0o644 273.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.Core.html text/html root:root 0o644 6.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.html text/html root:root 0o644 73.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html text/html root:root 0o644 70.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.EqReasoning.html text/html root:root 0o644 3.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.EquivalenceClosure.html text/html root:root 0o644 20.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Flip.html text/html root:root 0o644 83.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.Core.html text/html root:root 0o644 5.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.html text/html root:root 0o644 119.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Core.html text/html root:root 0o644 23.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.html text/html root:root 0o644 8.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.InducedPreorders.html text/html root:root 0o644 11.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Lattice.html text/html root:root 0o644 80.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.NonStrictLex.html text/html root:root 0o644 60.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.Pointwise.html text/html root:root 0o644 103.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html text/html root:root 0o644 144.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.NonStrictToStrict.html text/html root:root 0o644 37.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.On.html text/html root:root 0o644 85.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.OrderMorphism.html text/html root:root 0o644 17.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PartialOrderReasoning.html text/html root:root 0o644 2.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PreorderReasoning.html text/html root:root 0o644 14.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.NonStrictLex.html text/html root:root 0o644 73.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.Pointwise.html text/html root:root 0o644 206.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.StrictLex.html text/html root:root 0o644 135.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.BoundedJoinSemilattice.html text/html root:root 0o644 12.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.BoundedMeetSemilattice.html text/html root:root 0o644 7.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.DecTotalOrder.html text/html root:root 0o644 4.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.JoinSemilattice.html text/html root:root 0o644 26.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.Lattice.html text/html root:root 0o644 17.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.MeetSemilattice.html text/html root:root 0o644 7.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.Poset.html text/html root:root 0o644 7.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.Preorder.html text/html root:root 0o644 7.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.StrictPartialOrder.html text/html root:root 0o644 5.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.StrictTotalOrder.html text/html root:root 0o644 5.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Properties.TotalOrder.html text/html root:root 0o644 4.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.Core.html text/html root:root 0o644 10.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.TrustMe.html text/html root:root 0o644 5.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.html text/html root:root 0o644 86.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Reflection.html text/html root:root 0o644 36.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.SetoidReasoning.html text/html root:root 0o644 14.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sigma.Pointwise.html text/html root:root 0o644 225.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Simple.html text/html root:root 0o644 7.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.StrictPartialOrderReasoning.html text/html root:root 0o644 5.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.StrictToNonStrict.html text/html root:root 0o644 41.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sum.html text/html root:root 0o644 289.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.SymmetricClosure.html text/html root:root 0o644 13.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Vec.Pointwise.html text/html root:root 0o644 117.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.html text/html root:root 0o644 98.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Decidable.html text/html root:root 0o644 39.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Implication.html text/html root:root 0o644 5.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Negation.html text/html root:root 0o644 70.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Product.html text/html root:root 0o644 5.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Sum.html text/html root:root 0o644 9.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Universe.html text/html root:root 0o644 67.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.html text/html root:root 0o644 4.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.PredicateTransformer.html text/html root:root 0o644 47.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.html text/html root:root 0o644 70.2 KB
/usr/share/doc/agda-stdlib-doc/html/Size.html text/html root:root 0o644 2.2 KB
/usr/share/doc/agda-stdlib-doc/html/Strict.html text/html root:root 0o644 6.7 KB
/usr/share/doc/agda-stdlib-doc/html/Universe.html text/html root:root 0o644 6.3 KB

APT Browse - Built by Thomas Orozco.