diff options
| author | Paul van der Walt <paul@denknerd.org> | 2015-10-15 21:10:24 +0200 |
|---|---|---|
| committer | Paul van der Walt <paul@denknerd.org> | 2015-10-23 09:10:52 +0200 |
| commit | 748463bec4db837a9f510cd6cad0a9237795d53a (patch) | |
| tree | 2df419ebd43b2a8cbe732b1df0beacbcbb0b5c50 | |
| parent | b10f7be3e36473614cf3d1bbd852d30eb3f63218 (diff) | |
gnu: Add ghc-logict.
* gnu/packages/haskell.scm (ghc-logict): New variable.
| -rw-r--r-- | gnu/packages/haskell.scm | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 1775e8eb28..0d28fd6b7c 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -1053,6 +1053,31 @@ of functions that implement regular expression pattern matching using the same syntax and semantics as Perl 5.") (license bsd-3))) +(define-public ghc-logict + (package + (name "ghc-logict") + (version "0.6.0.2") + (source + (origin + (method url-fetch) + (uri (string-append + "http://hackage.haskell.org/package/logict/logict-" + version + ".tar.gz")) + (sha256 + (base32 + "07hnirv6snnym2r7iijlfz00b60jpy2856zvqxh989q0in7bd0hi")))) + (build-system haskell-build-system) + (inputs `(("ghc-mtl" ,ghc-mtl))) + (home-page "http://code.haskell.org/~dolio/") + (synopsis "Backtracking logic-programming monad") + (description "This library provides a continuation-based, backtracking, +logic programming monad. An adaptation of the two-continuation implementation +found in the paper \"Backtracking, Interleaving, and Terminating Monad +Transformers\" available @uref{http://okmij.org/ftp/papers/LogicT.pdf, +online}.") + (license bsd-3))) + (define-public ghc-exceptions (package (name "ghc-exceptions") |