mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-24 05:18:07 -05:00
gnu: Add ghc-logict.
* gnu/packages/haskell.scm (ghc-logict): New variable.
This commit is contained in:
parent
b10f7be3e3
commit
748463bec4
1 changed files with 25 additions and 0 deletions
|
@ -1053,6 +1053,31 @@ (define-public ghc-pcre-light
|
|||
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")
|
||||
|
|
Loading…
Reference in a new issue