Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Thu, 06 Jun 2024 19:54:50 UTC |
login
Information for RPM
Agda-stdlib-docs-1.3-3.fc33.noarch.rpm
ID
646277
Name
Agda-stdlib-docs
Version
1.3
Release
3.fc33
Epoch
Arch
noarch
Summary
Agda standard libraries documentation
Description
This package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time
2020-07-27 10:20:42 GMT
Size
2.39 MB
SIGMD5
a1c3fd03020c2fe19a19ce83bdd6a69e
License
MIT
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:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
<<<
51 through 100 of 710
>>>
Name
Size
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Structures.html
76.04 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Definitions.html
10.74 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.GroupMonomorphism.html
31.79 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.MagmaMonomorphism.html
62.57 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.MonoidMonomorphism.html
35.23 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.RingMonomorphism.html
52.95 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Structures.html
61.68 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.html
44.64 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.CommutativeMonoid.html
46.05 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.Ring.html
7.55 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.Semiring.html
29.42 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.AbelianGroup.html
11.51 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.Expression.html
97.21 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.html
292.46 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.html
106.13 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemigroup.html
71.20 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.DistributiveLattice.html
37.11 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Group.html
54.70 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Lattice.html
56.05 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Ring.html
30.77 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semigroup.html
4.18 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semilattice.html
13.49 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.CommutativeMonoid.Example.html
9.48 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.CommutativeMonoid.html
73.07 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.IdempotentCommutativeMonoid.Example.html
9.53 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.IdempotentCommutativeMonoid.html
87.96 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Monoid.html
47.98 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.AlmostCommutativeRing.html
41.26 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.Lemmas.html
95.70 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.NaturalCoefficients.Default.html
6.85 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.NaturalCoefficients.html
17.85 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.Simple.html
4.05 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.html
294.43 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.Biased.html
49.78 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.html
103.56 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.html
1.71 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.DoubleNegationElimination.html
5.92 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.ExcludedMiddle.html
2.79 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.Extensionality.Heterogeneous.html
10.64 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.Extensionality.Propositional.html
20.66 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.UniquenessOfIdentityProofs.WithK.html
2.61 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.UniquenessOfIdentityProofs.html
22.89 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Indexed.html
45.54 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Predicate.html
17.14 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.html
9.92 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Comonad.html
11.89 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.Predicate.html
7.63 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.html
11.29 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Continuation.html
22.87 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Indexed.html
28.96 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.