Information for RPM ghc-djinn-lib-0.0.1.3-5.fc31.riscv64.rpm
ID | 387459 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | ghc-djinn-lib | ||||||||||||||||
Version | 0.0.1.3 | ||||||||||||||||
Release | 5.fc31 | ||||||||||||||||
Epoch | |||||||||||||||||
Arch | riscv64 | ||||||||||||||||
Summary | Generate Haskell code from a type | ||||||||||||||||
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. | ||||||||||||||||
Build Time | 2019-07-26 06:16:17 GMT | ||||||||||||||||
Size | 185.57 KB | ||||||||||||||||
a0bf68f438e8f26c84d4d57123064cac | |||||||||||||||||
License | BSD | ||||||||||||||||
Buildroot | f31-build-54632-28016 | ||||||||||||||||
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 |