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 /lang/ghc/bsd.hackage.mk | |
| parent | - Update to 20120212 (diff) | |
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
Notes
Notes:
svn path=/head/; revision=291115
Diffstat (limited to 'lang/ghc/bsd.hackage.mk')
| -rw-r--r-- | lang/ghc/bsd.hackage.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/ghc/bsd.hackage.mk b/lang/ghc/bsd.hackage.mk index fcf45eec8e96..13d957d0a401 100644 --- a/lang/ghc/bsd.hackage.mk +++ b/lang/ghc/bsd.hackage.mk @@ -124,6 +124,7 @@ lazysmallcheck_port= devel/hs-lazysmallcheck lhs2tex_port= textproc/hs-lhs2tex libmpd_port= audio/hs-libmpd libxml_port= textproc/hs-libxml +logict_port= devel/hs-logict math-functions_port= math/hs-math-functions MemoTrie_port= devel/hs-MemoTrie mime_port= mail/hs-mime |