vscode-dhall-lsp-server
vscode-dhall-lsp-server copied to clipboard
VSCode pluging that provides LSP support for the Dhall programming language
The current [version](https://marketplace.visualstudio.com/items?itemName=panaeon.vscode-dhall-lsp-server&ssr=false) is somewhat out of date and doesn't support e.g. annotating let binders. For the future, is there a way to automate this in some way? Maybe as...
It would be nice if this project had a CI that can automatically test new code / pull requests. VScode has got some nice functional testing facilities which would allow...
This might be useful for the standard library like `List/map`, `Text/map`, etc...