coq-elpi-lang

June 17, 2019 ยท View on GitHub

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

Contents

  1. 1Features
  2. 2Requirements
  3. 3Extension Settings
  4. 4Known Issues
  5. 5Release Notes
  6. 5.10.0.1
  7. 6Requirements
  8. 7Extension Settings
  9. 8Known Issues
  10. 9Release Notes
  11. 9.10.0.1