slackbuilds/haskell/haskell-logict
Heinz Wiesinger 63daf9f79a All: Support $PRINT_PACKAGE_NAME env var
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2021-07-17 21:55:09 +02:00
..
README haskell/haskell-logict: Added (logic-programming monad). 2018-11-10 07:47:32 +07:00
doinst.sh haskell/haskell-logict: Added (logic-programming monad). 2018-11-10 07:47:32 +07:00
haskell-logict.SlackBuild All: Support $PRINT_PACKAGE_NAME env var 2021-07-17 21:55:09 +02:00
haskell-logict.info haskell/haskell-logict: Added (logic-programming monad). 2018-11-10 07:47:32 +07:00
slack-desc haskell/haskell-logict: Added (logic-programming monad). 2018-11-10 07:47:32 +07:00

README

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