lib:rzk
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
- Language.Rzk.VSCode.Config
- Language.Rzk.VSCode.Env
- Language.Rzk.VSCode.Handlers
- Language.Rzk.VSCode.Logging
- Language.Rzk.VSCode.Lsp
- Language.Rzk.VSCode.Tokenize
- Rzk
- Rzk.Format
- Rzk.Main
- Rzk.Project.Config
- Rzk.TypeCheck
Dependencies
- Glob lib:Glob >=0.9.3
- aeson lib:aeson >=1.4.2.0
- array lib:array >=0.5.3.0
- base lib:base >=4.7 && <5
- bifunctors lib:bifunctors >=5.5.3
- bytestring lib:bytestring >=0.10.8.2
- co-log-core lib:co-log-core >=0.3.2.0
- data-default-class lib:data-default-class >=0.1.2.0
- directory lib:directory >=1.2.7.0
- filepath lib:filepath >=1.4.2.1
- lens lib:lens >=4.17
- lsp lib:lsp >=2.2.0.0
- lsp-types lib:lsp-types >=2.0.2.0
- mtl lib:mtl >=2.2.2
- stm lib:stm >=2.5.0.0
- template-haskell lib:template-haskell >=2.14.0.0
- text lib:text >=1.2.3.1
- yaml lib:yaml >=0.11.0.0
Reverse dependencies
Direct only. Not exhaustive.
- proof-assistant-bot lib:proof-assistant-bot
- rzk exe:rzk
- rzk test:rzk-test