README 312 B

1234567
  1. A continuation-based, backtracking, logic programming monad. An
  2. adaptation of the two-continuation implementation found in the paper
  3. "Backtracking, Interleaving, and Terminating Monad Transformers".
  4. After uninstalling, run this command to unregister the package from
  5. the ghc package database: ghc-pkg recache