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
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[email protected]"
