https://github.com/lpcic/elpi-lang

visual studio code extension for Elpi
https://github.com/lpcic/elpi-lang

Last synced: 25 days ago
JSON representation

visual studio code extension for Elpi

• Host: GitHub
• URL: https://github.com/lpcic/elpi-lang
• Owner: LPCIC
• License: mit
• Created: 2019-04-15T14:56:53.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2025-04-29T14:13:24.000Z (28 days ago)
• Last Synced: 2025-04-29T14:52:12.147Z (28 days ago)
• Language: JavaScript
• Size: 8.52 MB
• Stars: 8
• Watchers: 5
• Forks: 1
• Open Issues: 9
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# elpi-lang

This extension provides support for the [Elpi](https://github.com/LPCIC/elpi) programming language to Visual Studio Code.

![screenshot](assets/elpi-tracer.png)

## 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](CHANGELOG.md) file