cabal-version:      3.0
name:               miniagda
version:            0.1.0.0
-- synopsis:
-- description:
license:            BSD-3-Clause
author:             Tom Smeding
maintainer:         Tom Smeding <tom@tomsmeding.com
build-type:         Simple

library
  exposed-modules:
    AST
    Parser
    TypeCheck
  build-depends:
    base >=4.17.2.0,
    containers,
    parsec,
    transformers
  hs-source-dirs: src
  default-language: Haskell2010
  ghc-options: -Wall

executable miniagda
  main-is:          Main.hs
  build-depends:
    miniagda,
    base,
    containers
  hs-source-dirs: app
  default-language: Haskell2010
  ghc-options: -Wall