The pull request dhall-lsp-server: Implement linter diagnostics and "Lint and Format" command implements the second new feature: linting.
-
The linter will now contribute diagnostic messages, highlighting possible source code improvements.
-
The vscode plugin exposes a new command "Lint and format Dhall file" that runs the linter and formatter on the current file.
