diff options
| author | pgj <pgj@FreeBSD.org> | 2012-02-13 10:21:34 +0800 |
|---|---|---|
| committer | pgj <pgj@FreeBSD.org> | 2012-02-13 10:21:34 +0800 |
| commit | c678927b428011f6b2f042c0059c6d9ddc8d6cf5 (patch) | |
| tree | 7a91079a7bbc080b4244011ad8bff050cf8f78d6 /lang/ghc | |
| parent | 22a6b778e8c652e3505b0cdc761273bc0da7e635 (diff) | |
| download | freebsd-ports-gnome-c678927b428011f6b2f042c0059c6d9ddc8d6cf5.tar.gz freebsd-ports-gnome-c678927b428011f6b2f042c0059c6d9ddc8d6cf5.tar.zst freebsd-ports-gnome-c678927b428011f6b2f042c0059c6d9ddc8d6cf5.zip | |
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
Diffstat (limited to 'lang/ghc')
| -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 |