packages feed

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,