Information for RPM ghc-djinn-lib-0.0.1.3-8.fc33.riscv64.rpm
ID | 593543 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | ghc-djinn-lib | ||||||||||||||||
Version | 0.0.1.3 | ||||||||||||||||
Release | 8.fc33 | ||||||||||||||||
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 | 2020-04-18 07:32:56 GMT | ||||||||||||||||
Size | 184.18 KB | ||||||||||||||||
0d2ff121dd7f3bb8f8882389c49c5f13 | |||||||||||||||||
License | BSD | ||||||||||||||||
Buildroot | f33-build-182885-45413 | ||||||||||||||||
Provides |
|
||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||
Requires |
|
||||||||||||||||
Recommends | No Recommends | ||||||||||||||||
Suggests | No Suggests | ||||||||||||||||
Supplements | No Supplements | ||||||||||||||||
Enhances | No Enhances | ||||||||||||||||
Files |
|
||||||||||||||||
Component of |
|