cabal-version: 2.4 name: CoreTT version: 0.1.0.0 synopsis: -- A longer description of the package. -- description: homepage: -- A URL where users can report bugs. -- bug-reports: license: NONE author: Nicolas Osborne maintainer: nicolas.osborne@etu.univ-lille.fr -- A copyright notice. -- copyright: category: Language extra-source-files: CHANGELOG.md library exposed-modules: AST -- Modules included in this library but not exported. -- other-modules: -- LANGUAGE extensions used by modules in this package. -- other-extensions: build-depends: base ^>=4.14.3.0, text, listsafe, containers hs-source-dirs: src ghc-options: -Wall -Werror -fwarn-incomplete-uni-patterns default-language: Haskell2010 executable CoreTT main-is: Main.hs -- Modules included in this executable, other than Main. -- other-modules: -- LANGUAGE extensions used by modules in this package. -- other-extensions: build-depends: base ^>=4.14.3.0, CoreTT hs-source-dirs: app default-language: Haskell2010 test-suite CoreTT-test default-language: Haskell2010 type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Spec.hs other-modules: AstTest build-depends: base ^>=4.14.3.0, hspec, CoreTT