cabal-version: 3.0 name: miniagda version: 0.1.0.0 -- synopsis: -- description: license: BSD-3-Clause author: Tom Smeding maintainer: Tom Smeding =4.17.2.0, containers, transformers hs-source-dirs: src default-language: Haskell2010 ghc-options: -Wall executable miniagda main-is: Main.hs build-depends: base hs-source-dirs: app default-language: Haskell2010 ghc-options: -Wall