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.

package.yaml 984B

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  1. name: katrin
  2. version: 0.0.0
  3. license: Apache-2.0
  4. git: "https://git.eisfunke.com/research/katrin"
  5. author: "Nicolas Lenz"
  6. maintainer: "nicolas@eisfunke.com"
  7. copyright: "2018 Nicolas Lenz"
  8. extra-source-files:
  9. - README.md
  10. synopsis: Experimental functional and dependently-typet programming language
  11. category: Language
  12. description: Please see the README at <https://git.eisfunke.com/research/katrin#readme>
  13. dependencies:
  14. - base >= 4.7 && < 5
  15. - text
  16. library:
  17. source-dirs: src
  18. executables:
  19. katrin:
  20. main: Main.hs
  21. source-dirs: app
  22. ghc-options:
  23. - -threaded
  24. - -rtsopts
  25. - -with-rtsopts=-N
  26. dependencies:
  27. - katrin
  28. tests:
  29. katrin-test:
  30. main: Main.hs
  31. source-dirs: test
  32. ghc-options:
  33. - -threaded
  34. - -rtsopts
  35. - -with-rtsopts=-N
  36. dependencies:
  37. - katrin
  38. - tasty
  39. - tasty-quickcheck
  40. - quickcheck-instances