Content-Length: 3853 | pFad | http://hackage.haskell.org/package/rzk-0.6.2/rzk.cabal

cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.35.2. -- -- see: https://github.com/sol/hpack name: rzk version: 0.6.2 synopsis: An experimental proof assistant for synthetic ∞-categories description: Please see the README on GitHub at category: Dependent Types homepage: https://github.com/rzk-lang/rzk#readme bug-reports: https://github.com/rzk-lang/rzk/issues author: Nikolai Kudasov maintainer: nickolay.kudasov@gmail.com copyright: 2023 Nikolai Kudasov license: BSD3 license-file: LICENSE build-type: Simple extra-source-files: README.md ChangeLog.md source-repository head type: git location: https://github.com/rzk-lang/rzk library exposed-modules: Free.Scoped Free.Scoped.TH Language.Rzk.Free.Syntax Language.Rzk.Syntax Language.Rzk.Syntax.Abs Language.Rzk.Syntax.Layout Language.Rzk.Syntax.Lex Language.Rzk.Syntax.Par Language.Rzk.Syntax.Print Rzk Rzk.Main Rzk.TypeCheck other-modules: Paths_rzk hs-source-dirs: src ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints build-tools: alex , happy build-depends: Glob , aeson , array , base >=4.7 && <5 , bifunctors , bytestring , data-default-class , filepath , lens , mtl , optparse-generic , stm , template-haskell , text , yaml default-language: Haskell2010 if !impl(ghcjs) exposed-modules: Language.Rzk.VSCode.Env Language.Rzk.VSCode.Handlers Language.Rzk.VSCode.Lsp Language.Rzk.VSCode.State Language.Rzk.VSCode.Tokenize build-depends: lsp , lsp-types executable rzk main-is: Main.hs other-modules: Paths_rzk hs-source-dirs: app ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N build-tools: alex , happy build-depends: Glob , aeson , array , base >=4.7 && <5 , bifunctors , bytestring , data-default-class , filepath , lens , mtl , optparse-generic , rzk , stm , template-haskell , text , yaml default-language: Haskell2010 if !impl(ghcjs) build-depends: with-utf8 test-suite doctests type: exitcode-stdio-1.0 main-is: doctests.hs hs-source-dirs: test ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints build-tools: alex , happy build-depends: Glob , QuickCheck , aeson , array , base , bifunctors , bytestring , data-default-class , doctest , filepath , lens , mtl , optparse-generic , stm , template-haskell , text , yaml default-language: Haskell2010 test-suite rzk-test type: exitcode-stdio-1.0 main-is: Spec.hs other-modules: Paths_rzk hs-source-dirs: test ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N build-tools: alex , happy build-depends: Glob , aeson , array , base >=4.7 && <5 , bifunctors , bytestring , data-default-class , filepath , lens , mtl , optparse-generic , rzk , stm , template-haskell , text , yaml default-language: Haskell2010

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier! Saves Data!