Thu, 06 Jun 2024 19:54:50 UTC | login

Information for RPM Agda-stdlib-docs-1.3-3.fc33.noarch.rpm

ID646277
NameAgda-stdlib-docs
Version1.3
Release3.fc33
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2020-07-27 10:20:42 GMT
Size2.39 MB
a1c3fd03020c2fe19a19ce83bdd6a69e
LicenseMIT
Provides
Agda-stdlib-docs = 1.3-3.fc33
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(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
<<< 51 through 100 of 710 >>>
Name ascending sort Size
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Structures.html76.04 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Definitions.html10.74 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.GroupMonomorphism.html31.79 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.MagmaMonomorphism.html62.57 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.MonoidMonomorphism.html35.23 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.RingMonomorphism.html52.95 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Structures.html61.68 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.html44.64 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.CommutativeMonoid.html46.05 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.Ring.html7.55 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.Semiring.html29.42 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.AbelianGroup.html11.51 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.Expression.html97.21 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.html292.46 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.html106.13 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemigroup.html71.20 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.DistributiveLattice.html37.11 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Group.html54.70 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Lattice.html56.05 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Ring.html30.77 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semigroup.html4.18 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semilattice.html13.49 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.CommutativeMonoid.Example.html9.48 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.CommutativeMonoid.html73.07 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.IdempotentCommutativeMonoid.Example.html9.53 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.IdempotentCommutativeMonoid.html87.96 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Monoid.html47.98 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.AlmostCommutativeRing.html41.26 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.Lemmas.html95.70 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.NaturalCoefficients.Default.html6.85 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.NaturalCoefficients.html17.85 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.Simple.html4.05 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.html294.43 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.Biased.html49.78 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.html103.56 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.html1.71 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.DoubleNegationElimination.html5.92 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.ExcludedMiddle.html2.79 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.Extensionality.Heterogeneous.html10.64 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.Extensionality.Propositional.html20.66 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.UniquenessOfIdentityProofs.WithK.html2.61 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.UniquenessOfIdentityProofs.html22.89 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Indexed.html45.54 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Predicate.html17.14 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.html9.92 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Comonad.html11.89 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.Predicate.html7.63 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.html11.29 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Continuation.html22.87 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Indexed.html28.96 KB
Component of No Buildroots