The vague idea of a modern dependently-typed programming language.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

katrin.cabal 1.5KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768
  1. cabal-version: 1.12
  2. -- This file has been generated from package.yaml by hpack version 0.31.1.
  3. --
  4. -- see: https://github.com/sol/hpack
  5. --
  6. -- hash: 8be90f2031d0309ad5effdfd1bccabf1108f825457ce34543279ee39e5ac9515
  7. name: katrin
  8. version: 0.0.0
  9. synopsis: Experimental functional and dependently-typet programming language
  10. description: Please see the README at <https://git.eisfunke.com/research/katrin#readme>
  11. category: Language
  12. author: Nicolas Lenz
  13. maintainer: nicolas@eisfunke.com
  14. copyright: 2018 Nicolas Lenz
  15. license: Apache-2.0
  16. build-type: Simple
  17. extra-source-files:
  18. README.md
  19. source-repository head
  20. type: git
  21. location: https://git.eisfunke.com/research/katrin
  22. library
  23. exposed-modules:
  24. Katrin
  25. Katrin.Algebra
  26. Katrin.Core
  27. other-modules:
  28. Paths_katrin
  29. hs-source-dirs:
  30. src
  31. build-depends:
  32. base >=4.7 && <5
  33. , text
  34. default-language: Haskell2010
  35. executable katrin
  36. main-is: Main.hs
  37. other-modules:
  38. Paths_katrin
  39. hs-source-dirs:
  40. app
  41. ghc-options: -threaded -rtsopts -with-rtsopts=-N
  42. build-depends:
  43. base >=4.7 && <5
  44. , katrin
  45. , text
  46. default-language: Haskell2010
  47. test-suite katrin-test
  48. type: exitcode-stdio-1.0
  49. main-is: Main.hs
  50. other-modules:
  51. Paths_katrin
  52. hs-source-dirs:
  53. test
  54. ghc-options: -threaded -rtsopts -with-rtsopts=-N
  55. build-depends:
  56. base >=4.7 && <5
  57. , katrin
  58. , quickcheck-instances
  59. , tasty
  60. , tasty-quickcheck
  61. , text
  62. default-language: Haskell2010