blob: 854d2de7357bef7535500428ec915b9ff8327c1e (
plain) (
tree)
|
|
A continuation-based, backtracking, logic programming monad. An
adaptation of the two-continuation implementation found in the paper
"Backtracking, Interleaving, and Terminating Monad Transformers".
After uninstalling, run this command to unregister the package from
the ghc package database: ghc-pkg recache
|