Cabal revisions of logict-0.4
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
Name: logict Version: 0.4+x-revision: 1 Description: A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Stability: Experimental Tested-With: GHC-Build-Depends: base >=2 && < 5, mtl>=1.0.1 && <1.2+Build-Depends: base >=2 && < 4.3, mtl>=1.0.1 && <1.2 Build-Type: Simple Exposed-Modules: Control.Monad.Logic,