./devel/hs-logict [backtracking logic-programming monad]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 0.5.0.2, Package name: hs-logict-0.5.0.2
Maintained by: The OpenBSD ports mailing-list
Master sites:
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"
available here: http://okmij.org/ftp/papers/LogicT.pdf.


Filesize: 5.152 KB
Version History (View Complete History)
  • (2015-09-20) Updated to version: hs-logict-0.5.0.2
  • (2012-09-03) Updated to version: hs-logict-0.5.0.1
  • (2012-01-24) Package added to openports.se, version hs-logict-0.5.0 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2016-01-20 09:22:29 by Matthias Kilian | Files touched by this commit (65)
Log message:
Dump after ghc changes.
   2015-12-20 04:27:22 by Matthias Kilian | Files touched by this commit (7)
Log message:
Adjust MODGHC_PACKAGE_KEY.
   2015-09-20 09:13:35 by Matthias Kilian | Files touched by this commit (3)
Log message:
Update to hs-logict-0.5.0.2.
   2015-09-20 09:13:35 by Matthias Kilian | Files touched by this commit (3)
Log message:
Update to hs-logict-0.5.0.2.
   2015-09-20 09:13:35 by Matthias Kilian | Files touched by this commit (3)
Log message:
Update to hs-logict-0.5.0.2.
   2015-01-17 20:16:09 by Christian Weisgerber | Files touched by this commit (3349)
Log message:
Drop remaining MD5/RMD160/SHA1 checksums.
   2014-11-25 15:11:05 by Matthias Kilian | Files touched by this commit (56)
Log message:
Update dependencies and plists and bump.
   2014-11-25 15:11:05 by Matthias Kilian | Files touched by this commit (56)
Log message:
Update dependencies and plists and bump.