Information for RPM ghc-djinn-ghc-0.0.2.3-5.fc31.src.rpm
ID | 387072 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Name | ghc-djinn-ghc | ||||||||||
Version | 0.0.2.3 | ||||||||||
Release | 5.fc31 | ||||||||||
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-07-26 02:50:04 GMT | ||||||||||
Size | 11.41 KB | ||||||||||
39e9a604f8d487ac24d1d9796a889dc0 | |||||||||||
License | BSD | ||||||||||
Buildroot | f31-build-54314-27982 | ||||||||||
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 |