Date: Mon, 13 Feb 2012 02:21:34 +0000 (UTC) From: Gabor Pali <pgj@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/devel/hs-logict Makefile distinfo pkg-descr ports/lang/ghc bsd.hackage.mk Message-ID: <201202130221.q1D2LYPh049656@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201202130221.q1D2LYPh049656>