CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2012/01/23 14:07:22
Log message:
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.
ok ajacoutot@
Status:
Vendor Tag: kili
Release Tags: kili_20120123
N ports/devel/hs-logict/Makefile
N ports/devel/hs-logict/distinfo
N ports/devel/hs-logict/pkg/DESCR
N ports/devel/hs-logict/pkg/PLIST
No conflicts created by this import
