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

rzk-0.11.3

• Language
  Submodules

  • Rzk
    Submodules

    • Foil
      Submodules

      •  Language.Rzk.Foil.Convert
      •  Language.Rzk.Foil.Names
      •  Language.Rzk.Foil.Print
      •  Language.Rzk.Foil.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.PositionEncoding
      •  Language.Rzk.VSCode.ReferenceIndex
      •  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
  • Render
    Submodules

    •  Rzk.Render.Geometry
  •  Rzk.TypeCheck
    Submodules

    •  Rzk.TypeCheck.BinderTypes
    •  Rzk.TypeCheck.Context
    •  Rzk.TypeCheck.Decl
      Submodules

      •  Rzk.TypeCheck.Decl.Data
    •  Rzk.TypeCheck.Display
    •  Rzk.TypeCheck.Error
    •  Rzk.TypeCheck.Eval
    •  Rzk.TypeCheck.Judgements
    •  Rzk.TypeCheck.MetaPrefix
    •  Rzk.TypeCheck.Monad
    •  Rzk.TypeCheck.NbE
    •  Rzk.TypeCheck.Render
    •  Rzk.TypeCheck.Unify
  •  Rzk.Version