Information for RPM ghc-logict-0.8.0.0-6.fc40.riscv64.rpm
ID | 1181072 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | ghc-logict | ||||||||||||||||
Version | 0.8.0.0 | ||||||||||||||||
Release | 6.fc40 | ||||||||||||||||
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 | 2024-02-16 19:50:32 GMT | ||||||||||||||||
Size | 64.02 KB | ||||||||||||||||
cbe505e032a69d85f24b4b689a583228 | |||||||||||||||||
License | BSD-3-Clause | ||||||||||||||||
Buildroot | f40-build-776915-129121 | ||||||||||||||||
Provides |
|
||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||
Requires |
|
||||||||||||||||
Recommends | No Recommends | ||||||||||||||||
Suggests | No Suggests | ||||||||||||||||
Supplements | No Supplements | ||||||||||||||||
Enhances | No Enhances | ||||||||||||||||
Files |
|
||||||||||||||||
Component of |
|