dtt.cabal 905 B

12345678910111213141516171819202122232425262728
  1. name: dtt
  2. version: 0.1.0.0
  3. synopsis: A dependent type theory for use in proof checking and the implementation of the Amulet programming language
  4. homepage: https://amulet.ml/dtt/
  5. license: BSD3
  6. license-file: LICENSE
  7. author: hydraz
  8. maintainer: urn@semi.works
  9. category: Development
  10. build-type: Simple
  11. extra-source-files: ChangeLog.md
  12. cabal-version: >=1.10
  13. executable dtt
  14. main-is: Main.hs
  15. build-depends: transformers
  16. , containers
  17. , haskeline
  18. , parsec
  19. , these
  20. , freer
  21. , base
  22. , mtl
  23. hs-source-dirs: src
  24. default-language: Haskell2010
  25. default-extensions: FlexibleContexts
  26. ghc-options: -Wall -Wno-name-shadowing