logict 0.6 → 0.6.0.1
raw patch · 1 files changed
+2/−2 lines, 1 files
Files
- logict.cabal +2/−2
logict.cabal view
@@ -1,5 +1,5 @@ Name: logict-Version: 0.6+Version: 0.6.0.1 Description: A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating@@ -17,7 +17,7 @@ Stability: Experimental Tested-With: GHC-Build-Depends: base >=2 && < 5, mtl>=1.0.1 && <2.3+Build-Depends: base >=2 && < 5, mtl>=2 && <2.3 Build-Type: Simple Exposed-Modules: Control.Monad.Logic,