-- Initial Proper.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                Proper
version:             0.2.0.0
synopsis:	     An implementation of propositional logic in Haskell            
-- description:         
license:  		BSD3           
license-file:        LICENSE
author:		     Dillon Huff              
maintainer:	     Dillon Huff          
-- copyright:           
-- category:            
build-type:          Simple
cabal-version:       >=1.8

library
  hs-source-dirs:	src
  build-depends:	base==4.5.*, containers
  exposed-modules:	Proper.Sentence, Proper.CNF, Proper.Clause

executable Proper
  main-is:             Main.hs
  -- other-modules:       
  build-depends:       base ==4.5.*, containers, parsec
  hs-source-dirs:      src

executable Proper-tests
  main-is:             Main.hs
  -- other-modules:       
  build-depends:       base ==4.5.*, HUnit, containers, parsec
  hs-source-dirs:      test, src