Deduce LSP

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

Features

• Syntax Checking
• Token autocomplete
• Jump to definition
• Definition on hover
• Signature Advice

More to come

Installation

This is currently an extension in pre-release on the marketplace

Requirements

• TODO

Release Notes

0.0.3

• Small speedups
• Induction autofill

0.0.2

• Some polish and bug fixing in parsing

0.0.1

• Bare minimum