dannypsnl

Language support for the Violet dependently-typed proof assistant: LSP client (diagnostics, hover, goto-definition, references), semantic highlighting, unicode input, and snippets.