Cabal revisions of logict-0.4.2
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: logict-Version: 0.4.2-Description: A continuation-based, backtracking, logic programming monad.- An adaptation of the two-continuation implementation found- in the paper "Backtracking, Interleaving, and Terminating- Monad Transformers" available here:- <http://okmij.org/ftp/papers/LogicT.pdf>-Synopsis: A backtracking logic-programming monad.-Category: Control-License: BSD3-License-File: LICENSE-Copyright: Copyright (c) 2007-2010, Dan Doel-Author: Dan Doel-Maintainer: dan.doel@gmail.com-Homepage: http://code.haskell.org/~dolio/logict--Stability: Experimental-Tested-With: GHC-Build-Depends: base >=2 && < 5, mtl>=1.0.1 && <2.1-Build-Type: Simple--Exposed-Modules: Control.Monad.Logic,- Control.Monad.Logic.Class-Extensions: MultiParamTypeClasses,- UndecidableInstances,- Rank2Types,- FlexibleInstances-GHC-Options: -O2 -Wall-+Name: logict +Version: 0.4.2 +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 + Monad Transformers" available here: + <http://okmij.org/ftp/papers/LogicT.pdf> +Synopsis: A backtracking logic-programming monad. +Category: Control +License: BSD3 +License-File: LICENSE +Copyright: Copyright (c) 2007-2010, Dan Doel +Author: Dan Doel +Maintainer: dan.doel@gmail.com +Homepage: http://code.haskell.org/~dolio/logict + +Stability: Experimental +Tested-With: GHC +Build-Depends: base >=2 && < 4.7, mtl>=1.0.1 && <2.1 +Build-Type: Simple + +Exposed-Modules: Control.Monad.Logic, + Control.Monad.Logic.Class +Extensions: MultiParamTypeClasses, + UndecidableInstances, + Rank2Types, + FlexibleInstances +GHC-Options: -O2 -Wall +