Mon, 21 Jun 2021 14:27:01 UTC

Information for RPM Agda-stdlib-docs-0.15-4.fc28.noarch.rpm

ID15260255
NameAgda-stdlib-docs
Version0.15
Release4.fc28
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2018-08-29 04:37:42 GMT
Size1,466,076
45bff945095337ac302c2843f1169fde
LicenseMIT
Buildrootf28-build-13563353-984532
Provides
Agda-stdlib-docs = 0.15-4.fc28
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 297 >>>
Name ascending sort Size
/usr/share/doc/Agda-stdlib-docs0
/usr/share/doc/Agda-stdlib-docs/html0
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Bool.html2,511
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.html3,669
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Coinduction.html3,835
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.html2,322
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Float.html9,962
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.IO.html1,541
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Int.html3,144
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.List.html4,452
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Nat.html18,327
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.html80,615
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Size.html1,698
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Strict.html4,622
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.html5,353
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.TrustMe.html1,819
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Unit.html1,258
/usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.html3,699
/usr/share/doc/Agda-stdlib-docs/html/Agda.css1,219
/usr/share/doc/Agda-stdlib-docs/html/Algebra.CommutativeMonoidSolver.Example.html12,964
/usr/share/doc/Agda-stdlib-docs/html/Algebra.CommutativeMonoidSolver.html77,687
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Consequences.html57,554
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Core.html3,625
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.html45,723
/usr/share/doc/Agda-stdlib-docs/html/Algebra.IdempotentCommutativeMonoidSolver.Example.html13,288
/usr/share/doc/Agda-stdlib-docs/html/Algebra.IdempotentCommutativeMonoidSolver.html93,776
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Monoid-solver.html52,171
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.html46,376
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.html68,843
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.AbelianGroup.html20,955
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.Expression.html100,392
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.html313,459
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.DistributiveLattice.html35,729
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Group.html36,335
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Lattice.html68,190
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Ring.html27,088
/usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.AlmostCommutativeRing.html42,544
/usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.Lemmas.html99,001
/usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.Natural-coefficients.html20,678
/usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.Simple.html3,492
/usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.html312,776
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.html149,219
/usr/share/doc/Agda-stdlib-docs/html/Algebra.html102,069
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Indexed.html38,092
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Predicate.html17,654
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.html4,084
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.Identity.html2,971
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.Predicate.html7,504
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.html9,570
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Continuation.html25,636
Component of No Buildroots