elpi-lang
September 6, 2024 ยท View on GitHub
This extension provides support for the Elpi programming language to Visual Studio Code.
Features
- Basic syntax highlighting
- Trace visualisation and navigation
Requirements
- Node 1.18+
- VSCode 1.49+
- Elpi 1.16+
Building for development
npm install
Running in development
- Open the source tree root in VS Code 1.49+
- Go to the extension panel in activity bar
- Click 'Run extension'
Extension Settings
- none
Known Issues
- none
Release Notes
See the CHANGELOG file