https://github.com/halflinghelper/deduce-lsp
https://github.com/halflinghelper/deduce-lsp
Last synced: 11 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/halflinghelper/deduce-lsp
- Owner: HalflingHelper
- License: other
- Created: 2025-01-26T23:31:40.000Z (about 1 year ago)
- Default Branch: main
- Last Pushed: 2025-04-16T12:45:03.000Z (12 months ago)
- Last Synced: 2025-04-16T18:26:22.134Z (12 months ago)
- Language: Python
- Size: 858 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
- Security: SECURITY.md
- Support: SUPPORT.md
Awesome Lists containing this project
README
# Deduce LSP
This is a (currently experimental) language server protocol for the [Deduce](https://github.com/jsiek/deduce/) programming language
Created using this extension template: https://github.com/microsoft/vscode-python-tools-extension-template
[pygls]: https://github.com/openlawlibrary/pygls
## Features
- Syntax Checking
- Token autocomplete
- Jump to definition
- Definition on hover
- Signature Advice
More to come
## Known issues
- 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
## Installation
This is currently an extension in pre-release on the [marketplace](https://marketplace.visualstudio.com/manage/publishers/calvinjosenhans/extensions/deduce-lsp/hub?_a=acquisition)
## Requirements
- TODO
## Release Notes
### 0.0.6
- Deduce version sync
### 0.0.5
- Deduce version sync
### 0.0.4
- Deduce version sync
- Go-to definition functionality for operators
### 0.0.3
- Small speedups
- Induction autofill
### 0.0.2
- Some polish and bug fixing in parsing
### 0.0.1
- Bare minimum