agda-stdlib-doc 0.6-2 in ubuntu - precise / universe

About

This package is 1.6 MB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/agda-stdlib/agda-stdlib-doc_0.6-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.6-2 is in ubuntu - precise / universe. 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.5 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.1 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.Core.html text/html root:root 0o644 6.6 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.html text/html root:root 0o644 60.3 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.html text/html root:root 0o644 154.8 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Morphism.html text/html root:root 0o644 44.8 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Operations.html text/html root:root 0o644 32.0 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.AbelianGroup.html text/html root:root 0o644 35.1 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.BooleanAlgebra.Expression.html text/html root:root 0o644 159.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.BooleanAlgebra.html text/html root:root 0o644 508.0 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.DistributiveLattice.html text/html root:root 0o644 59.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Group.html text/html root:root 0o644 59.0 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Lattice.html text/html root:root 0o644 66.0 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Ring.html text/html root:root 0o644 44.8 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.AlmostCommutativeRing.html text/html root:root 0o644 60.9 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.html text/html root:root 0o644 195.9 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Lemmas.html text/html root:root 0o644 144.4 KB
/usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Simple.html text/html root:root 0o644 5.1 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/Category.Applicative.html text/html root:root 0o644 7.6 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Applicative.Indexed.html text/html root:root 0o644 62.5 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Functor.html text/html root:root 0o644 8.2 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Continuation.html text/html root:root 0o644 44.4 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.html text/html root:root 0o644 17.4 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Identity.html text/html root:root 0o644 6.5 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Indexed.html text/html root:root 0o644 35.5 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html text/html root:root 0o644 698.8 KB
/usr/share/doc/agda-stdlib-doc/html/Category.Monad.State.html text/html root:root 0o644 83.9 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/Data.AVL.html text/html root:root 0o644 293.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html text/html root:root 0o644 43.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html text/html root:root 0o644 26.0 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/Data.Bool.html text/html root:root 0o644 25.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Properties.html text/html root:root 0o644 145.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Bool.Show.html text/html root:root 0o644 3.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.html text/html root:root 0o644 40.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.Inefficient.html text/html root:root 0o644 20.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Char.html text/html root:root 0o644 18.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Cofin.html text/html root:root 0o644 19.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Colist.html text/html root:root 0o644 179.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Conat.html text/html root:root 0o644 25.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Any.html text/html root:root 0o644 257.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.Combinator.html text/html root:root 0o644 158.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Container.html text/html root:root 0o644 171.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Covec.html text/html root:root 0o644 110.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceList.html text/html root:root 0o644 39.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceNat.html text/html root:root 0o644 11.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.DifferenceVec.html text/html root:root 0o644 41.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Digit.html text/html root:root 0o644 61.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Empty.html text/html root:root 0o644 4.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Dec.html text/html root:root 0o644 137.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.html text/html root:root 0o644 117.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Props.html text/html root:root 0o644 133.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.html text/html root:root 0o644 42.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Props.html text/html root:root 0o644 118.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Example.html text/html root:root 0o644 73.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.html text/html root:root 0o644 83.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html text/html root:root 0o644 500.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.List.html text/html root:root 0o644 23.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Graph.Acyclic.html text/html root:root 0o644 196.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Addition.Properties.html text/html root:root 0o644 80.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Divisibility.html text/html root:root 0o644 13.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.html text/html root:root 0o644 145.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Multiplication.Properties.html text/html root:root 0o644 72.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Integer.Properties.html text/html root:root 0o644 256.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.html text/html root:root 0o644 48.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.All.Properties.html text/html root:root 0o644 92.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.BagAndSetEquality.html text/html root:root 0o644 262.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html text/html root:root 0o644 136.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Membership.html text/html root:root 0o644 264.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html text/html root:root 0o644 636.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Countdown.html text/html root:root 0o644 197.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.html text/html root:root 0o644 214.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html text/html root:root 0o644 138.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html text/html root:root 0o644 48.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Properties.html text/html root:root 0o644 500.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.List.Reverse.html text/html root:root 0o644 28.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.Core.html text/html root:root 0o644 5.2 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Maybe.html text/html root:root 0o644 110.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Coprimality.html text/html root:root 0o644 95.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Divisibility.html text/html root:root 0o644 132.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html text/html root:root 0o644 82.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.html text/html root:root 0o644 127.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html text/html root:root 0o644 225.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.html text/html root:root 0o644 130.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.InfinitelyOften.html text/html root:root 0o644 58.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.LCM.html text/html root:root 0o644 89.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Primality.html text/html root:root 0o644 14.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.html text/html root:root 0o644 432.2 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/Data.Plus.html text/html root:root 0o644 50.8 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Product.html text/html root:root 0o644 91.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Product.N-ary.html text/html root:root 0o644 41.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Rational.html text/html root:root 0o644 63.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.ReflexiveClosure.html text/html root:root 0o644 26.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.html text/html root:root 0o644 11.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sign.Properties.html text/html root:root 0o644 11.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.BoundedVec.html text/html root:root 0o644 28.1 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Decoration.html text/html root:root 0o644 73.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Environment.html text/html root:root 0o644 18.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Fin.html text/html root:root 0o644 9.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.html text/html root:root 0o644 98.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.List.html text/html root:root 0o644 9.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Nat.html text/html root:root 0o644 18.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Pointer.html text/html root:root 0o644 72.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Properties.html text/html root:root 0o644 99.5 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Star.Vec.html text/html root:root 0o644 29.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Stream.html text/html root:root 0o644 92.7 KB
/usr/share/doc/agda-stdlib-doc/html/Data.String.html text/html root:root 0o644 32.9 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Sum.html text/html root:root 0o644 37.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.Core.html text/html root:root 0o644 12.4 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Unit.html text/html root:root 0o644 23.3 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.Equality.html text/html root:root 0o644 70.6 KB
/usr/share/doc/agda-stdlib-doc/html/Data.Vec.html text/html root:root 0o644 191.2 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 307.0 KB
/usr/share/doc/agda-stdlib-doc/html/Data.W.html text/html root:root 0o644 17.6 KB
/usr/share/doc/agda-stdlib-doc/html/Everything.html text/html root:root 0o644 97.6 KB
/usr/share/doc/agda-stdlib-doc/html/Foreign.Haskell.html text/html root:root 0o644 2.7 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Bijection.html text/html root:root 0o644 40.5 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Equality.html text/html root:root 0o644 62.3 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Equivalence.html text/html root:root 0o644 66.6 KB
/usr/share/doc/agda-stdlib-doc/html/Function.html text/html root:root 0o644 70.0 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Injection.html text/html root:root 0o644 30.6 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Inverse.html text/html root:root 0o644 88.3 KB
/usr/share/doc/agda-stdlib-doc/html/Function.LeftInverse.html text/html root:root 0o644 57.0 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Related.html text/html root:root 0o644 212.5 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Related.TypeIsomorphisms.html text/html root:root 0o644 214.5 KB
/usr/share/doc/agda-stdlib-doc/html/Function.Surjection.html text/html root:root 0o644 47.0 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.html text/html root:root 0o644 27.8 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.Lexicographic.html text/html root:root 0o644 50.6 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.Nat.html text/html root:root 0o644 40.8 KB
/usr/share/doc/agda-stdlib-doc/html/Induction.WellFounded.html text/html root:root 0o644 90.7 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/IO.Primitive.html text/html root:root 0o644 17.7 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/README.AVL.html text/html root:root 0o644 38.4 KB
/usr/share/doc/agda-stdlib-doc/html/README.Case.html text/html root:root 0o644 12.9 KB
/usr/share/doc/agda-stdlib-doc/html/README.html text/html root:root 0o644 39.0 KB
/usr/share/doc/agda-stdlib-doc/html/README.Integer.html text/html root:root 0o644 27.0 KB
/usr/share/doc/agda-stdlib-doc/html/README.Nat.html text/html root:root 0o644 20.6 KB
/usr/share/doc/agda-stdlib-doc/html/README.Record.html text/html root:root 0o644 19.5 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/Reflection.html text/html root:root 0o644 229.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.Core.html text/html root:root 0o644 11.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.html text/html root:root 0o644 88.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html text/html root:root 0o644 132.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.EqReasoning.html text/html root:root 0o644 7.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Flip.html text/html root:root 0o644 154.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.Core.html text/html root:root 0o644 10.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.html text/html root:root 0o644 158.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.html text/html root:root 0o644 139.7 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.Core.html text/html root:root 0o644 41.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Indexed.html text/html root:root 0o644 17.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.InducedPreorders.html text/html root:root 0o644 20.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.NonStrictLex.html text/html root:root 0o644 108.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.Pointwise.html text/html root:root 0o644 120.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html text/html root:root 0o644 243.6 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.NonStrictToStrict.html text/html root:root 0o644 66.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.On.html text/html root:root 0o644 158.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.OrderMorphism.html text/html root:root 0o644 31.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PartialOrderReasoning.html text/html root:root 0o644 5.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PreorderReasoning.html text/html root:root 0o644 20.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.NonStrictLex.html text/html root:root 0o644 126.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.Pointwise.html text/html root:root 0o644 331.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.StrictLex.html text/html root:root 0o644 227.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.Core.html text/html root:root 0o644 18.0 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.html text/html root:root 0o644 116.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.TrustMe.html text/html root:root 0o644 7.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.DecTotalOrder.html text/html root:root 0o644 9.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Poset.html text/html root:root 0o644 9.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Preorder.html text/html root:root 0o644 9.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictPartialOrder.html text/html root:root 0o644 10.4 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictTotalOrder.html text/html root:root 0o644 11.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.TotalOrder.html text/html root:root 0o644 8.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Reflection.html text/html root:root 0o644 62.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sigma.Pointwise.html text/html root:root 0o644 407.1 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Simple.html text/html root:root 0o644 14.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.StrictPartialOrderReasoning.html text/html root:root 0o644 6.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.StrictToNonStrict.html text/html root:root 0o644 68.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sum.html text/html root:root 0o644 488.2 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Vec.Pointwise.html text/html root:root 0o644 149.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Core.html text/html root:root 0o644 7.8 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Decidable.html text/html root:root 0o644 46.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.html text/html root:root 0o644 3.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Negation.html text/html root:root 0o644 127.3 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Product.html text/html root:root 0o644 9.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Sum.html text/html root:root 0o644 16.5 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Universe.html text/html root:root 0o644 113.9 KB
/usr/share/doc/agda-stdlib-doc/html/Relation.Unary.html text/html root:root 0o644 69.6 KB
/usr/share/doc/agda-stdlib-doc/html/Size.html text/html root:root 0o644 3.6 KB
/usr/share/doc/agda-stdlib-doc/html/Universe.html text/html root:root 0o644 11.5 KB

APT Browse - Built by Thomas Orozco.