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

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