The latest version of rzk is 0.7.5-0.
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.Tokenize
- Language.Rzk.VSCode.Tokens
- Rzk
- Rzk.Main
- Rzk.TypeCheck
Dependencies
- aeson lib:aeson >=0
- array lib:array >=0
- base lib:base >=4.7 && <5
- bifunctors lib:bifunctors >=0
- bytestring lib:bytestring >=0
- mtl lib:mtl >=0
- optparse-generic lib:optparse-generic >=0
- template-haskell lib:template-haskell >=0
- text lib:text >=0
Reverse dependencies
Direct only. Not exhaustive.
- proof-assistant-bot lib:proof-assistant-bot
- rzk exe:rzk
- rzk test:rzk-test