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/pkg-descr | |
| parent | fd160ae9e114de56417ad4e23ea4350f221e33f5 (diff) | |
Notes
Diffstat (limited to 'devel/hs-logict/pkg-descr')
| -rw-r--r-- | devel/hs-logict/pkg-descr | 7 |
1 files changed, 7 insertions, 0 deletions
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 |