Skip to content

Latest commit

 

History

History
45 lines (23 loc) · 444 Bytes

README.md

File metadata and controls

45 lines (23 loc) · 444 Bytes
Raw

coq-elpi-lang

This extension provides some basic support for the Elpi inside Coq

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