Decidable propositions
23.09 KB
built 2026-10-14 00:01:02 GMT
Description
This package provides a 'Dec' type.
' type Neg a = a -> Void
data Dec a = Yes a | No (Neg a) '.
Dependencies
9 totalRequires7
- ghc-Cabal-devel
- ghc-base-devel
- ghc-rpm-macros-extra
- ghc-tagged-devel
- ghc-transformers-devel
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
Provides2
- ghc-dec = 0.0.6-8.fc45
- ghc-dec-devel = 0.0.6-8.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
4Name  |
Size |
|---|---|
| boring-0.2.2.tar.gz | 5.35 KB |
| dec-0.0.6.cabal | 1.35 KB |
| dec-0.0.6.tar.gz | 3.15 KB |
| ghc-dec.spec | 5.62 KB |
Files 1–4 of 4
Component of
buildroots that installed this RPMNo Buildroots