logict-sequence: A backtracking logic-programming monad with asymptotic improvements to msplit
Adapted from the paper http://okmij.org/ftp/Haskell/zseq.pdf by Atze van der Ploeg and Oleg Kiselyov
[Skip to Readme]
Downloads
- logict-sequence-0.1.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Versions [RSS] | 0.1.0.0, 0.1.0.1 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.3 && <5), fail, logict, mtl (>=2.0 && <2.3), sequence (>=0.9.8 && <0.10), transformers, type-aligned (>=0.9.6 && <0.10) [details] |
License | MIT |
Copyright | (c) 2021 Jason Dagit, (c) 2014 Atze van der Ploeg |
Author | Jason Dagit |
Maintainer | Jason dagit <dagitj@gmail.com> |
Category | Control |
Home page | https://github.com/dagit/logict-sequence |
Bug tracker | https://github.com/dagit/logict-sequence/issues |
Source repo | head: git clone https://github.com/dagit/logict-sequence |
Uploaded | by JasonDagit at 2021-07-20T04:38:45Z |
Distributions | NixOS:0.1.0.1 |
Downloads | 170 total (13 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |