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

Safe Haskell	None
Language	Haskell2010

Language.Rzk.VSCode.Lsp

Synopsis

maxDiagnosticCount :: Int
handlers :: Handlers LSP
syncOptions :: TextDocumentSyncOptions
runLsp :: IO Int

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 #