Information for RPM ghc-djinn-ghc-0.0.2.3-4.fc30.riscv64.rpm
ID | 328891 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | ghc-djinn-ghc | ||||||||||||||||
Version | 0.0.2.3 | ||||||||||||||||
Release | 4.fc30 | ||||||||||||||||
Epoch | |||||||||||||||||
Arch | riscv64 | ||||||||||||||||
Summary | Generate Haskell code from a type. Bridge from Djinn to GHC API | ||||||||||||||||
Description | Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is the bridge from djinn-lib to GHC API. | ||||||||||||||||
Build Time | 2019-02-24 23:34:17 GMT | ||||||||||||||||
Size | 35.68 KB | ||||||||||||||||
054dd446abec0f291beb9528b7817160 | |||||||||||||||||
License | BSD | ||||||||||||||||
Buildroot | f30-build-43282-25100 | ||||||||||||||||
Provides |
|
||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||
Requires |
|
||||||||||||||||
Recommends | No Recommends | ||||||||||||||||
Suggests | No Suggests | ||||||||||||||||
Supplements | No Supplements | ||||||||||||||||
Enhances | No Enhances | ||||||||||||||||
Files |
|
||||||||||||||||
Component of | No Buildroots |