Information for RPM ghc-djinn-ghc-0.0.2.3-4.fc30.src.rpm
| ID | 328889 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | ghc-djinn-ghc | ||||||||||
| Version | 0.0.2.3 | ||||||||||
| Release | 4.fc30 | ||||||||||
| Epoch | |||||||||||
| Arch | src | ||||||||||
| 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 22:24:27 GMT | ||||||||||
| Size | 11.26 KB | ||||||||||
| 82dd7ac57ec632771bfb2d4674d5f6ce | |||||||||||
| License | BSD | ||||||||||
| Buildroot | f30-build-43282-25100 | ||||||||||
| Provides | No 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 | ||||||||||
