Information for RPM ghc-logict-0.6.0.2-12.fc30.riscv64.rpm
ID | 328235 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | ghc-logict | ||||||||||||||||
Version | 0.6.0.2 | ||||||||||||||||
Release | 12.fc30 | ||||||||||||||||
Epoch | |||||||||||||||||
Arch | riscv64 | ||||||||||||||||
Summary | A backtracking logic-programming monad | ||||||||||||||||
Description | A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers": <http://okmij.org/ftp/papers/LogicT.pdf>. | ||||||||||||||||
Build Time | 2019-02-21 15:16:06 GMT | ||||||||||||||||
Size | 71.81 KB | ||||||||||||||||
e091b9bdd4bf26cf8e6cccd01834c581 | |||||||||||||||||
License | BSD | ||||||||||||||||
Buildroot | f30-build-42845-24731 | ||||||||||||||||
Provides |
|
||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||
Requires |
|
||||||||||||||||
Recommends | No Recommends | ||||||||||||||||
Suggests | No Suggests | ||||||||||||||||
Supplements | No Supplements | ||||||||||||||||
Enhances | No Enhances | ||||||||||||||||
Files |
|
||||||||||||||||
Component of |
|