This file is indexed.

/usr/share/ is in agda-stdlib-doc 0.7-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/copyright text/plain root:root 0o644 1.7 KB
/usr/share/doc/agda-stdlib-doc/changelog.Debian.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/agda-stdlib-doc/html/ root:root 0o755
/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/Data.List.Countdown.html text/html root:root 0o644 195.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.html text/html root:root 0o644 459.5 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.Nullary.Negation.html text/html root:root 0o644 125.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.LCM.html text/html root:root 0o644 87.0 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Group.html text/html root:root 0o644 58.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Props.html text/html root:root 0o644 184.6 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.Sum.html text/html root:root 0o644 479.3 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.Integer.Addition.Properties.html text/html root:root 0o644 79.1 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.BoundedVec.Inefficient.html text/html root:root 0o644 19.6 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Structures.html text/html root:root 0o644 209.4 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/Relation.Nullary.Product.html text/html root:root 0o644 9.1 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.WellFounded.html text/html root:root 0o644 90.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.NonStrictLex.html text/html root:root 0o644 99.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.html text/html root:root 0o644 172.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.TotalOrder.html text/html root:root 0o644 7.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.html text/html root:root 0o644 322.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html text/html root:root 0o644 619.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Core.html text/html root:root 0o644 39.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Digit.html text/html root:root 0o644 57.0 KB
/usr/share/doc/agda-stdlib-doc/html/Function.html text/html root:root 0o644 69.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Properties.html text/html root:root 0o644 140.0 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.Star.Nat.html text/html root:root 0o644 17.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictPartialOrder.html text/html root:root 0o644 9.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Dec.html text/html root:root 0o644 131.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.html text/html root:root 0o644 203.3 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Surjection.html text/html root:root 0o644 45.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.Pointwise.html text/html root:root 0o644 322.3 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Bijection.html text/html root:root 0o644 39.5 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.Star.List.html text/html root:root 0o644 8.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html text/html root:root 0o644 131.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Combinator.html text/html root:root 0o644 153.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.BagAndSetEquality.html text/html root:root 0o644 252.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html text/html root:root 0o644 44.6 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.All.html text/html root:root 0o644 146.0 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/Relation.Binary.PropositionalEquality.Core.html text/html root:root 0o644 17.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/Relation.Binary.Reflection.html text/html root:root 0o644 60.1 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/Data.Sign.Properties.html text/html root:root 0o644 10.3 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html text/html root:root 0o644 727.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html text/html root:root 0o644 40.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.AbelianGroup.html text/html root:root 0o644 34.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Decidable.html text/html root:root 0o644 53.0 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.Nat.html text/html root:root 0o644 35.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.StrictLex.html text/html root:root 0o644 223.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/README.AVL.html text/html root:root 0o644 39.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.html text/html root:root 0o644 115.8 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Related.TypeIsomorphisms.html text/html root:root 0o644 312.4 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Equality.html text/html root:root 0o644 56.3 KB
/usr/share/doc/agda-stdlib-doc/html/Coinduction.html text/html root:root 0o644 13.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictTotalOrder.html text/html root:root 0o644 9.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.On.html text/html root:root 0o644 152.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.NonStrictToStrict.html text/html root:root 0o644 63.4 KB
/usr/share/doc/agda-stdlib-doc/html/Everything.html text/html root:root 0o644 64.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.html text/html root:root 0o644 159.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html text/html root:root 0o644 223.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html text/html root:root 0o644 237.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.html text/html root:root 0o644 58.2 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/Relation.Binary.PropositionalEquality.TrustMe.html text/html root:root 0o644 7.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.String.html text/html root:root 0o644 29.9 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/Algebra.FunctionProperties.Core.html text/html root:root 0o644 6.3 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/README.html text/html root:root 0o644 36.2 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/Data.W.html text/html root:root 0o644 17.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Divisibility.html text/html root:root 0o644 127.8 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.List.All.html text/html root:root 0o644 46.8 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/Algebra.Props.BooleanAlgebra.html text/html root:root 0o644 506.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Stream.html text/html root:root 0o644 92.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Product.html text/html root:root 0o644 94.1 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.Lexicographic.html text/html root:root 0o644 47.3 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/Algebra.Props.DistributiveLattice.html text/html root:root 0o644 57.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.html text/html root:root 0o644 112.8 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.State.html text/html root:root 0o644 82.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.html text/html root:root 0o644 251.2 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.Indexed.html text/html root:root 0o644 59.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.html text/html root:root 0o644 175.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.Covec.html text/html root:root 0o644 109.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.Core.html text/html root:root 0o644 10.6 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Lemmas.html text/html root:root 0o644 154.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Pointer.html text/html root:root 0o644 71.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.NonStrictLex.html text/html root:root 0o644 120.5 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/Data.Empty.html text/html root:root 0o644 4.2 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Ring.html text/html root:root 0o644 44.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.html text/html root:root 0o644 136.9 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/Data.Integer.html text/html root:root 0o644 137.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Poset.html text/html root:root 0o644 8.5 KB
/usr/share/doc/agda-stdlib-doc/html/README.Case.html text/html root:root 0o644 12.5 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.html text/html root:root 0o644 154.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Props.html text/html root:root 0o644 114.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Properties.html text/html root:root 0o644 320.5 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/Data.Unit.html text/html root:root 0o644 21.7 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.AlmostCommutativeRing.html text/html root:root 0o644 64.5 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.Vec.N-ary.html text/html root:root 0o644 161.8 KB
/usr/share/doc/agda-stdlib-doc/html/Level.html text/html root:root 0o644 9.2 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/Data.Maybe.html text/html root:root 0o644 106.9 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Related.html text/html root:root 0o644 204.0 KB
/usr/share/doc/agda-stdlib-doc/html/Universe.html text/html root:root 0o644 11.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.html text/html root:root 0o644 81.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.html text/html root:root 0o644 36.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.html text/html root:root 0o644 38.7 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.Nullary.html text/html root:root 0o644 3.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html text/html root:root 0o644 23.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.Pointwise.html text/html root:root 0o644 158.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Properties.html text/html root:root 0o644 98.4 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.List.Properties.html text/html root:root 0o644 514.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.Fin.Substitution.List.html text/html root:root 0o644 21.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Properties.html text/html root:root 0o644 249.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Preorder.html text/html root:root 0o644 9.2 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/Relation.Nullary.Implication.html text/html root:root 0o644 9.6 KB
/usr/share/doc/agda-stdlib-doc/html/Reflection.html text/html root:root 0o644 225.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Any.html text/html root:root 0o644 245.5 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/Relation.Nullary.Core.html text/html root:root 0o644 7.5 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.html text/html root:root 0o644 27.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.html text/html root:root 0o644 122.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html text/html root:root 0o644 131.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html text/html root:root 0o644 68.1 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.List.All.Properties.html text/html root:root 0o644 88.7 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/Category.Functor.html text/html root:root 0o644 8.0 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/Algebra.FunctionProperties.html text/html root:root 0o644 59.7 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.Integer.Divisibility.html text/html root:root 0o644 11.5 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/Algebra.RingSolver.html text/html root:root 0o644 491.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Vec.Pointwise.html text/html root:root 0o644 188.1 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Indexed.html text/html root:root 0o644 35.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.html text/html root:root 0o644 68.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Char.html text/html root:root 0o644 16.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bin.html text/html root:root 0o644 172.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sigma.Pointwise.html text/html root:root 0o644 364.5 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Inverse.html text/html root:root 0o644 85.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.html text/html root:root 0o644 213.6 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/Agda.css text/plain root:root 0o644 1.2 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/Relation.Nullary.Universe.html text/html root:root 0o644 110.5 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/Relation.Binary.Consequences.html text/html root:root 0o644 87.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html text/html root:root 0o644 136.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html text/html root:root 0o644 493.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Decoration.html text/html root:root 0o644 73.0 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/Data.Plus.html text/html root:root 0o644 50.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Flip.html text/html root:root 0o644 148.4 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/Algebra.RingSolver.Natural-coefficients.html text/html root:root 0o644 34.8 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/Function.Equivalence.html text/html root:root 0o644 65.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.BoundedVec.html text/html root:root 0o644 26.1 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/Relation.Binary.StrictPartialOrderReasoning.html text/html root:root 0o644 5.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.DecTotalOrder.html text/html root:root 0o644 9.0 KB
/usr/share/doc/agda-stdlib-doc/html/Record.html text/html root:root 0o644 145.8 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/Category.Monad.html text/html root:root 0o644 16.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Show.html text/html root:root 0o644 11.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.html text/html root:root 0o644 39.2 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/Function.LeftInverse.html text/html root:root 0o644 61.8 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.BooleanAlgebra.Expression.html text/html root:root 0o644 151.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Sum.html text/html root:root 0o644 16.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.html text/html root:root 0o644 127.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/Algebra.Props.Lattice.html text/html root:root 0o644 64.9 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.DifferenceNat.html text/html root:root 0o644 11.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Graph.Acyclic.html text/html root:root 0o644 190.5 KB
/usr/share/doc/agda-stdlib-doc/html/Size.html text/html root:root 0o644 3.6 KB