FileSize | 75648 |
MD5 | 4D615A0B5ADFDE2DAA3A0E5750A5D889 |
PackageDescription | Backtracking logic-programming monad
It is 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
here: http://okmij.org/ftp/papers/LogicT.pdf
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell. |
PackageMaintainer | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
PackageName | libghc-logict-dev |
PackageSection | haskell |
PackageVersion | 0.6.0.2-1 |
SHA-1 | F0E6AAE3C7DF5ACC239DE14561CCA00D4EDF57E9 |
SHA-256 | BF13181AD68659A68A0E1FE4870D52CBDEA08230DEC8473C75F1597C7C0418AD |