Name: PropLogic Version: 0.9.0.2 Cabal-Version: >= 1.2 Build-type: Simple License: BSD3 -- License: PublicDomain -- License-file: LICENSE.txt Author: bucephalus Maintainer: b@bucephalus.org Stability: experimental Homepage: http://www.bucephalus.org/PropLogic Bug-reports: http://www-bucephalus-org.blogspot.com/PropLogic-bugs -- Package-url: http://www.bucephalus.org/.... Category: Logic, Algorithms Synopsis: A system for propositional logic with default and fast instances of propositional algebras. -- Description: .... Library exposed-modules: PropLogic, Olist, PropLogicCore, DefaultPropLogic, FastPropLogic, PropLogicTest other-modules: TextDisplay, Costack build-depends: base < 5, old-time, random extensions: TypeSynonymInstances, FlexibleInstances, MultiParamTypeClasses Executable program Main-Is: Main.hs