name:                cspretty
version:             1.0
synopsis:            AST and pretty printer for CSPm
license:             BSD3
license-file:        LICENSE
author:              Draper Labs
maintainer:          ccasinghino@draper.com
category:            Language
build-type:          Simple
cabal-version:       >=1.10

library
  exposed-modules:     Language.CSPM.Syntax
                       Language.CSPM.Pretty
  build-depends:       base       >= 4.8 && < 4.9,
                       pretty     >= 1.1,
                       containers >= 0.5
  default-language:    Haskell2010
  ghc-options:         -Wall -O2