diff options
| author | Gabor Pali <pgj@FreeBSD.org> | 2012-02-13 02:21:34 +0000 |
|---|---|---|
| committer | Gabor Pali <pgj@FreeBSD.org> | 2012-02-13 02:21:34 +0000 |
| commit | a3a15f8b916ee1c6ef89a73fe977f3e2ff243ac0 (patch) | |
| tree | 4bcc1abf8da2cd472c66a248ac9bb3fe82a1bd35 /devel/hs-logict | |
| parent | fd160ae9e114de56417ad4e23ea4350f221e33f5 (diff) | |
| download | ports-a3a15f8b916ee1c6ef89a73fe977f3e2ff243ac0.tar.gz ports-a3a15f8b916ee1c6ef89a73fe977f3e2ff243ac0.zip | |
Notes
Diffstat (limited to 'devel/hs-logict')
| -rw-r--r-- | devel/hs-logict/Makefile | 20 | ||||
| -rw-r--r-- | devel/hs-logict/distinfo | 2 | ||||
| -rw-r--r-- | devel/hs-logict/pkg-descr | 7 |
3 files changed, 29 insertions, 0 deletions
diff --git a/devel/hs-logict/Makefile b/devel/hs-logict/Makefile new file mode 100644 index 000000000000..83460f12b5cb --- /dev/null +++ b/devel/hs-logict/Makefile @@ -0,0 +1,20 @@ +# New ports collection makefile for: hs-logict +# Date created: November 19, 2011 +# Whom: haskell@FreeBSD.org +# +# $FreeBSD$ +# + +PORTNAME= logict +PORTVERSION= 0.5.0 +CATEGORIES= devel haskell + +MAINTAINER= haskell@FreeBSD.org +COMMENT= A backtracking logic-programming monad + +LICENSE= BSD + +USE_CABAL= mtl>=1.0.1 + +.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk" +.include <bsd.port.mk> diff --git a/devel/hs-logict/distinfo b/devel/hs-logict/distinfo new file mode 100644 index 000000000000..6370f1a6494a --- /dev/null +++ b/devel/hs-logict/distinfo @@ -0,0 +1,2 @@ +SHA256 (cabal/logict-0.5.0.tar.gz) = b940578db4ccbb0c21bd84e651f295d0feac79da5d3441fbf7751c6b9b428729 +SIZE (cabal/logict-0.5.0.tar.gz) = 5276 diff --git a/devel/hs-logict/pkg-descr b/devel/hs-logict/pkg-descr new file mode 100644 index 000000000000..a6eedda3715b --- /dev/null +++ b/devel/hs-logict/pkg-descr @@ -0,0 +1,7 @@ +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 |