An open API service indexing awesome lists of open source software.

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

VSCode extension for coq-elpi
https://github.com/lpcic/coq-elpi-lang

Last synced: 3 months ago
JSON representation

VSCode extension for coq-elpi

Awesome Lists containing this project

README

        

# coq-elpi-lang

This extension provides some basic support for the [Elpi inside Coq](https://github.com/LPCIC/coq-elpi)

## Features

- Basic syntax highlighting
## Requirements

- none

## Extension Settings

- none

## Known Issues

- none

## Release Notes

### 0.0.1

First public release

## Requirements

- elpi-lang
- coq-lang

## Extension Settings

- none

## Known Issues

- none

## Release Notes

### 0.0.1

First public release