name: rewriting
version: 0.1
build-type: Simple
cabal-version: >=1.10

executable rewriting
  ghc-options: -O -Wall
  build-depends: base, parsec
  default-language: Haskell2010
  main-is: Main.hs
  other-modules:
    TRS
    TRSParser