Information for RPM ghc-logict-0.7.0.2-1.fc33.riscv64.rpm
ID | 594440 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | ghc-logict | ||||||||||||||||
Version | 0.7.0.2 | ||||||||||||||||
Release | 1.fc33 | ||||||||||||||||
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 | 2020-04-19 18:43:22 GMT | ||||||||||||||||
Size | 71.15 KB | ||||||||||||||||
3befa41c6ccc0d31908f153c9d4cd458 | |||||||||||||||||
License | BSD | ||||||||||||||||
Buildroot | f33-build-186372-45808 | ||||||||||||||||
Provides |
|
||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||
Requires |
|
||||||||||||||||
Recommends | No Recommends | ||||||||||||||||
Suggests | No Suggests | ||||||||||||||||
Supplements | No Supplements | ||||||||||||||||
Enhances | No Enhances | ||||||||||||||||
Files |
|
||||||||||||||||
Component of |
|