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

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Rzk.VSCode.Lsp

Synopsis

Documentation

maxDiagnosticCount :: Int Source #

The maximum number of diagnostic messages to send to the client

handlers :: Handlers LSP Source #

syncOptions :: TextDocumentSyncOptions Source #

runLsp :: IO Int Source #