peterson / atom-language-coq

Coq language support for the Atom editor

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

language-coq package

Adds syntax highlighting to Coq files in Atom.

Contributions are greatly appreciated. Please fork this repository and open a pull request to add snippets, make grammar tweaks, etc.

About

Coq language support for the Atom editor

License:MIT License


Languages

Language:CoffeeScript 100.0%