Cabal revisions of logict-0.3
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
Name: logict Version: 0.3+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, mtl>=1.0.1+Build-Depends: base < 4.3, mtl>=1.0.1 Build-Type: Simple Exposed-Modules: Control.Monad.Logic,