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: [email protected]
-- 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