rzk-0.9.1: An experimental proof assistant for synthetic ∞-categories

rzk-0.9.1

• Free
  Submodules

  •  Free.Scoped
    Submodules

    •  Free.Scoped.TH
• Language
  Submodules

  • Rzk
    Submodules

    • Free
      Submodules

      •  Language.Rzk.Free.Syntax
    •  Language.Rzk.Syntax
      Submodules

      •  Language.Rzk.Syntax.Abs
      •  Language.Rzk.Syntax.Layout
      •  Language.Rzk.Syntax.Lex
      •  Language.Rzk.Syntax.Par
      •  Language.Rzk.Syntax.Print
    • VSCode
      Submodules

      •  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
  Submodules

  •  Rzk.Diagnostic
  •  Rzk.Format This module defines the formatter for rzk files.
  •  Rzk.Main
  • Project
    Submodules

    •  Rzk.Project.Config
  •  Rzk.TypeCheck