Hackage :: [Package]

rzk: An experimental proof assistant for synthetic ∞-categories

[ bsd3, dependent-types, library, program ] [ Propose Tags ] [ Report a vulnerability ]

Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme

[Skip to Readme]

Modules

[Last Documentation]

  • Free
    • Free.Scoped
      • Free.Scoped.TH
  • Language
    • Rzk
      • Free
        • 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
      • VSCode
        • 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
    • Project
      • Rzk.Project.Config
    • Rzk.TypeCheck

Flags

Manual Flags

NameDescriptionDefault
lsp

Build with LSP support (only available with GHC, not GHCJS).

Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0, 0.2.0, 0.3.0, 0.4.0, 0.4.1, 0.4.1.1, 0.5, 0.5.1, 0.5.2, 0.5.3, 0.5.4, 0.5.5, 0.5.6, 0.5.7, 0.6.0, 0.6.1, 0.6.2, 0.6.3, 0.6.4, 0.6.5, 0.6.6, 0.6.7, 0.7.0, 0.7.1, 0.7.2, 0.7.3, 0.7.4, 0.7.5, 0.7.6, 0.7.7, 0.8.0
Change log ChangeLog.md
Dependencies aeson (>=1.4.2.0), array (>=0.5.3.0), base (>=4.7 && <5), bifunctors (>=5.5.3), bytestring (>=0.10.8.2), co-log-core (>=0.3.2.0), data-default-class (>=0.1.2.0), directory (>=1.2.7.0), filepath (>=1.4.2.1), Glob (>=0.9.3), lens (>=4.17), lsp (>=2.2.0.0 && <2.8), lsp-types (>=2.0.2.0), mtl (>=2.3.1), optparse-generic (>=1.4.0), rzk, stm (>=2.5.0.0), template-haskell (>=2.14.0.0), text (>=1.2.3.1), with-utf8 (>=1.0.2.4), yaml (>=0.11.0.0) [details]
License BSD-3-Clause
Copyright 2023-2025 Nikolai Kudasov
Author Nikolai Kudasov
Maintainer nickolay.kudasov@gmail.com
Uploaded by NickolayKudasov at 2026-06-10T14:20:26Z
Revised Revision 1 made by NickolayKudasov at 2026-06-11T09:57:28Z
Category Dependent Types
Home page https://github.com/rzk-lang/rzk#readme
Bug tracker https://github.com/rzk-lang/rzk/issues
Source repo head: git clone https://github.com/rzk-lang/rzk
Distributions LTSHaskell:0.7.7, Stackage:0.8.0
Reverse Dependencies 1 direct, 0 indirect [details]
Executables rzk
Downloads 2051 total (107 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2026-06-10 [all 2 reports]

Readme for rzk-0.8.0

[back to package description]

rzk

An experimental proof assistant for synthetic ∞-categories.

See README at https://github.com/rzk-lang/rzk#readme.