Generate Haskell code from a type
29.88 KB
built 2026-10-14 00:02:58 GMT
Description
Djinn uses a theorem prover for intuitionistic propositional logic to generate
a Haskell expression when given a type. This is a library extracted from Djinn
sources.
Dependencies
10 totalRequires8
- ghc-Cabal-devel
- ghc-base-devel
- ghc-containers-devel
- ghc-mtl-devel
- ghc-pretty-devel
- ghc-rpm-macros
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
Provides2
- ghc-djinn-lib = 0.0.1.4-18.fc45
- ghc-djinn-lib-devel = 0.0.1.4-18.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
2Name  |
Size |
|---|---|
| djinn-lib-0.0.1.4.tar.gz | 14.44 KB |
| ghc-djinn-lib.spec | 7.10 KB |
Files 1–2 of 2
Component of
buildroots that installed this RPMNo Buildroots