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

name:                haskell-rules
version:             0.1.0.0
synopsis:            A DSL for expressing natural deduction rules in Haskell.
-- description:         
license:             GPL-3
license-file:        LICENSE
author:              Steve Kollmansberger and Martin Erwig
maintainer:          Sophie Taylor sophie@spacekitteh.moe
-- copyright:           
category:            Language
build-type:          Simple
extra-source-files:  README TypeChg.hs TypeChgMin.hs TypeChgPlus.hs TypeChgTrad.hs TypeFV.hs TypeFVSet.hs TypeLam.hs
cabal-version:       >=1.10

library
  exposed-modules:     Language.Rules.TypeGT, Language.Rules.NDSM, Language.Rules.TypeGU
  -- other-modules:       
  other-extensions:    
  build-depends:       base >=4.8 && <4.9, syb
  hs-source-dirs:      src
  default-language:    Haskell2010