Information for RPM ghc-djinn-lib-0.0.1.3-11.fc33.riscv64.rpm
ID | 661225 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | ghc-djinn-lib | ||||||||||||||||
Version | 0.0.1.3 | ||||||||||||||||
Release | 11.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-08-13 11:06:21 GMT | ||||||||||||||||
Size | 185.17 KB | ||||||||||||||||
15430669a7361def3947cb4c50f195e2 | |||||||||||||||||
License | BSD | ||||||||||||||||
Buildroot | f33-build-287305-53791 | ||||||||||||||||
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 |