aboutsummaryrefslogtreecommitdiff
path: root/haskell/haskell-logict/README
blob: 854d2de7357bef7535500428ec915b9ff8327c1e (plain)
1
2
3
4
5
6
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