/language-boogie

Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.

Primary LanguageCoffeeScriptMIT LicenseMIT

No issues in this repository yet.