This is a (currently experimental) language server protocol for the Deduce programming language
Created using this extension template: https://github.com/microsoft/vscode-python-tools-extension-template
- Syntax Checking
- Token autocomplete
- Jump to definition
- Definition on hover
- Signature Advice
More to come
- Go-to for operators works a bit strangely on compound operators. For example,
<=may send to<, depending on where is clicked.- Potential fix : smarter regex for word at position, instead of using bespoke function
This is currently an extension in pre-release on the marketplace
- TODO
- Deduce version sync
- Deduce version sync
- Deduce version sync
- Go-to definition functionality for operators
- Small speedups
- Induction autofill
- Some polish and bug fixing in parsing
- Bare minimum