You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
David Spencer 45a611ff19
haskell/haskell-logict: Added (logic-programming monad).
7 years ago
..
README haskell/haskell-logict: Added (logic-programming monad). 7 years ago
doinst.sh haskell/haskell-logict: Added (logic-programming monad). 7 years ago
haskell-logict.SlackBuild haskell/haskell-logict: Added (logic-programming monad). 7 years ago
haskell-logict.info haskell/haskell-logict: Added (logic-programming monad). 7 years ago
slack-desc haskell/haskell-logict: Added (logic-programming monad). 7 years ago

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