Information for RPM ghc-logict-0.8.0.0-4.fc40.riscv64.rpm
ID | 1098831 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | ghc-logict | ||||||||||||||||
Version | 0.8.0.0 | ||||||||||||||||
Release | 4.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 | 2023-11-19 03:27:51 GMT | ||||||||||||||||
Size | 64.17 KB | ||||||||||||||||
f3091d81780d687585f0ae9b1b8a82bb | |||||||||||||||||
License | BSD-3-Clause | ||||||||||||||||
Buildroot | f40-build-743594-111265 | ||||||||||||||||
Provides |
|
||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||
Requires |
|
||||||||||||||||
Recommends | No Recommends | ||||||||||||||||
Suggests | No Suggests | ||||||||||||||||
Supplements | No Supplements | ||||||||||||||||
Enhances | No Enhances | ||||||||||||||||
Files |
|
||||||||||||||||
Component of |
|