/elpi-lang

visual studio code extension for Elpi

Primary LanguageJavaScriptMIT LicenseMIT

elpi-lang

This extension provides support for the Elpi programming language to Visual Studio Code.

screenshot

Features

  • Basic syntax highlighting
  • Trace visualisation and navigation

Requirements

  • Node 1.16+
  • 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