Woods Minimal univesal LSP server. Listening sari for diagnostics Using semanticdb and tags (generated for example with ctags) for jump-to-definition Support: textDocument/publishDiagnostics textDocument/definition textDocument/references Build on Nix nix-shell --pure --command "cabal build"