-- 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