cvs commit: ports/devel/hs-logict Makefile distinfo pkg-descr
ports/lang/ghc bsd.hackage.mk
Gabor Pali
pgj at FreeBSD.org
Mon Feb 13 02:21:34 UTC 2012
pgj 2012-02-13 02:21:34 UTC
FreeBSD ports repository
Modified files:
lang/ghc bsd.hackage.mk
Added files:
devel/hs-logict Makefile distinfo pkg-descr
Log:
A continuation-based, backtracking, logic programming monad. An
adaptation of the two-continuation implementation found in the paper
"Backtracking, Interleaving, and Terminating Monad Transformers" [1].
[1] http://okmij.org/ftp/papers/LogicT.pdf
WWW: http://code.haskell.org/~dolio/logict
Obtained from: FreeBSD Haskell
Revision Changes Path
1.1 +20 -0 ports/devel/hs-logict/Makefile (new)
1.1 +2 -0 ports/devel/hs-logict/distinfo (new)
1.1 +7 -0 ports/devel/hs-logict/pkg-descr (new)
1.83 +2 -1 ports/lang/ghc/bsd.hackage.mk
More information about the cvs-ports
mailing list