elpi-lang

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