Untyped λ-calculus engine in Haskell
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.

36 lines
937 B

  1. name: lcalc
  2. version: 0.1.0.0
  3. -- synopsis:
  4. -- description:
  5. homepage: https://git.annnwan.me/annwan/lcal
  6. license: BSD3
  7. license-file: LICENSE
  8. author: Annwan
  9. maintainer: annwan@annwan.me
  10. copyright: 2023 Annwan
  11. build-type: Simple
  12. cabal-version: >=1.10
  13. extra-source-files: README.md
  14. executable lcalc
  15. hs-source-dirs: src
  16. main-is: Main.hs
  17. default-language: Haskell2010
  18. build-depends: base >= 4.7 && < 5
  19. , lcalc
  20. ghc-options: -Wall
  21. -Wcompat
  22. -Widentities
  23. -Wincomplete-record-updates
  24. -Wincomplete-uni-patterns
  25. -Wmissing-export-lists
  26. -Wmissing-home-modules
  27. -Wpartial-fields
  28. -Wredundant-constraints
  29. library
  30. hs-source-dirs: src
  31. exposed-modules: LCalc.Term
  32. build-depends: base >= 4.7 && < 5
  33. , text
  34. default-language: Haskell2010