agda-stdlib-doc 0.11-1 / usr / share

This file is indexed.

/usr/share/ is in agda-stdlib-doc 0.11-1.

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/html/ root:root 0o755
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.BagAndSetEquality.html text/html root:root 0o644 255.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.Combinator.html text/html root:root 0o644 260.1 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/README.Integer.html text/html root:root 0o644 25.4 KB
/usr/share/doc/agda-stdlib-doc/html/Record.html text/html root:root 0o644 110.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Decidable.html text/html root:root 0o644 66.5 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/Function.Inverse.html text/html root:root 0o644 90.6 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Monoid-solver.html text/html root:root 0o644 81.6 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Structures.html text/html root:root 0o644 210.1 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/Data.Container.Any.html text/html root:root 0o644 247.8 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.Nat.Coprimality.html text/html root:root 0o644 115.2 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/Data.Char.Base.html text/html root:root 0o644 7.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html text/html root:root 0o644 31.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.Simple.html text/html root:root 0o644 80.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.html text/html root:root 0o644 203.8 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.Cofin.html text/html root:root 0o644 18.8 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/Induction.Lexicographic.html text/html root:root 0o644 54.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Operations.html text/html root:root 0o644 107.1 KB
/usr/share/doc/agda-stdlib-doc/html/IO.Primitive.html text/html root:root 0o644 19.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.html text/html root:root 0o644 19.9 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/Data.String.html text/html root:root 0o644 26.1 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/Function.Related.html text/html root:root 0o644 207.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/Data.List.Countdown.html text/html root:root 0o644 197.0 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.Properties.Preorder.html text/html root:root 0o644 9.3 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/Data.Sign.Properties.html text/html root:root 0o644 10.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html text/html root:root 0o644 227.3 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.Simple.html text/html root:root 0o644 13.8 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/Function.Injection.html text/html root:root 0o644 29.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.Pointwise.html text/html root:root 0o644 338.1 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/Function.Surjection.html text/html root:root 0o644 45.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.InfinitelyOften.html text/html root:root 0o644 55.7 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/Data.List.All.Properties.html text/html root:root 0o644 141.6 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/Data.DifferenceVec.html text/html root:root 0o644 40.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/changelog.Debian.gz application/gzip root:root 0o644 1.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.html text/html root:root 0o644 185.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.Fin.Substitution.Example.html text/html root:root 0o644 71.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/Data.Star.Decoration.html text/html root:root 0o644 73.5 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.Divisibility.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/Relation.Binary.PropositionalEquality.TrustMe.html text/html root:root 0o644 10.9 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.html text/html root:root 0o644 491.9 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.ReflexiveClosure.html text/html root:root 0o644 25.8 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.Nat.Properties.html text/html root:root 0o644 405.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/Relation.Binary.Properties.Poset.html text/html root:root 0o644 8.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.M.Indexed.html text/html root:root 0o644 21.5 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/Data.BoundedVec.Inefficient.html text/html root:root 0o644 19.6 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.Covec.html text/html root:root 0o644 109.5 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/Data.Fin.Subset.html text/html root:root 0o644 39.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.html text/html root:root 0o644 11.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Multiplication.Properties.html text/html root:root 0o644 71.5 KB
/usr/share/doc/agda-stdlib-doc/html/README.AVL.html text/html root:root 0o644 38.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.html text/html root:root 0o644 37.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.Pointwise.html text/html root:root 0o644 171.9 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.Star.Fin.html text/html root:root 0o644 8.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Graph.Acyclic.html text/html root:root 0o644 191.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Properties.html text/html root:root 0o644 116.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html text/html root:root 0o644 131.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.html text/html root:root 0o644 131.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html text/html root:root 0o644 127.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.Base.html text/html root:root 0o644 3.4 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.Container.Indexed.Core.html text/html root:root 0o644 29.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html text/html root:root 0o644 22.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Properties.html text/html root:root 0o644 354.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.html text/html root:root 0o644 34.2 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.Binary.Indexed.Core.html text/html root:root 0o644 40.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Dec.html text/html root:root 0o644 131.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html text/html root:root 0o644 224.8 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.Star.Pointer.html text/html root:root 0o644 71.9 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Related.TypeIsomorphisms.html text/html root:root 0o644 380.8 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.W.Indexed.html text/html root:root 0o644 31.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Product.N-ary.html text/html root:root 0o644 39.1 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.Properties.Lattice.html text/html root:root 0o644 65.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Properties.html text/html root:root 0o644 98.9 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Properties.BooleanAlgebra.Expression.html text/html root:root 0o644 153.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html text/html root:root 0o644 39.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Negation.html text/html root:root 0o644 126.1 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/Data.Vec.N-ary.html text/html root:root 0o644 162.2 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.Flip.html text/html root:root 0o644 148.7 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.Colist.Infinite-merge.html text/html root:root 0o644 195.5 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/Data.Container.Indexed.FreeMonad.html text/html root:root 0o644 48.6 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/Category.Monad.Identity.html text/html root:root 0o644 6.2 KB
/usr/share/doc/agda-stdlib-doc/html/Size.html text/html root:root 0o644 3.7 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/Data.Bin.html text/html root:root 0o644 209.4 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/Algebra.html text/html root:root 0o644 154.7 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/Data.Bool.Base.html text/html root:root 0o644 24.1 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/Algebra.Properties.BooleanAlgebra.html text/html root:root 0o644 509.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.html text/html root:root 0o644 4.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sigma.Pointwise.html text/html root:root 0o644 366.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html text/html root:root 0o644 625.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Show.html text/html root:root 0o644 11.3 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/Relation.Binary.HeterogeneousEquality.Core.html text/html root:root 0o644 9.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Char.Core.html text/html root:root 0o644 2.7 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html text/html root:root 0o644 729.2 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.List.Base.html text/html root:root 0o644 188.4 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/Relation.Binary.html text/html root:root 0o644 159.0 KB
/usr/share/doc/agda-stdlib-doc/html/Universe.html text/html root:root 0o644 11.5 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.Nat.GCD.html text/html root:root 0o644 122.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.html text/html root:root 0o644 310.7 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/Data.Product.html text/html root:root 0o644 94.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.html text/html root:root 0o644 363.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.html text/html root:root 0o644 47.0 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/Data.List.Properties.html text/html root:root 0o644 545.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.html text/html root:root 0o644 124.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Divisibility.html text/html root:root 0o644 129.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Indexed.html text/html root:root 0o644 281.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Properties.html text/html root:root 0o644 217.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Addition.Properties.html text/html root:root 0o644 79.8 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/Induction.Nat.html text/html root:root 0o644 110.0 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/Algebra.Properties.DistributiveLattice.html text/html root:root 0o644 58.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/README.Nat.html text/html root:root 0o644 19.4 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/Data.Unit.NonEta.html text/html root:root 0o644 12.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Show.html text/html root:root 0o644 3.9 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/README.html text/html root:root 0o644 36.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.String.Base.html text/html root:root 0o644 19.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sum.html text/html root:root 0o644 492.5 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/Data.Bool.Properties.html text/html root:root 0o644 150.4 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/IO.html text/html root:root 0o644 57.2 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/Data.Sum.html text/html root:root 0o644 38.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.html text/html root:root 0o644 81.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html text/html root:root 0o644 105.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.html text/html root:root 0o644 124.4 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/Data.DifferenceNat.html text/html root:root 0o644 11.4 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.Product.NonStrictLex.html text/html root:root 0o644 121.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/Data.Integer.html text/html root:root 0o644 67.3 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.Binary.OrderMorphism.html text/html root:root 0o644 30.0 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/Data.BoundedVec.html text/html root:root 0o644 39.1 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.List.Reverse.html text/html root:root 0o644 27.9 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/Relation.Binary.List.NonStrictLex.html text/html root:root 0o644 100.0 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/Level.html text/html root:root 0o644 5.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/Algebra.RingSolver.Natural-coefficients.html text/html root:root 0o644 34.8 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.Digit.html text/html root:root 0o644 57.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Char.html text/html root:root 0o644 19.8 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/Relation.Binary.NonStrictToStrict.html text/html root:root 0o644 63.3 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Predicate.html text/html root:root 0o644 38.2 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/Data.Nat.Base.html text/html root:root 0o644 107.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html text/html root:root 0o644 494.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.html text/html root:root 0o644 254.3 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/Data.Float.html text/html root:root 0o644 11.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Primality.html text/html root:root 0o644 12.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Base.html text/html root:root 0o644 77.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/Reflection.html text/html root:root 0o644 429.0 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/Relation.Nullary.Product.html text/html root:root 0o644 9.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.html text/html root:root 0o644 111.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.Base.html text/html root:root 0o644 57.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html text/html root:root 0o644 236.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/Relation.Binary.Consequences.html text/html root:root 0o644 90.9 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/Function.html text/html root:root 0o644 69.8 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Equality.html text/html root:root 0o644 66.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.LCM.html text/html root:root 0o644 87.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Properties.html text/html root:root 0o644 282.5 KB

APT Browse - Built by Thomas Orozco.