This repo provides a (minimal) language server for biscuit datalog.
It is based on tower-lsp and tower-lsp-boilerplate.
Some of these features, like code completion, require support for fault-tolerant parsing, which is not done yet. Other features, like go to definition or inlay hints might be hard to map to datalog semantics.
- syntactic error diagnostic
- code completion
- find reference
- rename
- semantic token
- go to definition
- inlay hints
This language server has not been released yet and is not part of the biscuit-auth VSCode extension.
It can be used fairly easily from nvim or helix.