elpi-langThis extension provides some basic support for the Elpi programming language to Visual Studio Code. Features
Requirements
Extension Settings
Known Issues
Release Notes0.0.1First public release |
elpi-langThis extension provides some basic support for the Elpi programming language to Visual Studio Code. Features
Requirements
Extension Settings
Known Issues
Release Notes0.0.1First public release |