Atom Packages Directory

a package directory for a text editor of the 21st Century


Install with:
    apm install language-dafny

Dafny language support in Atom


Adds syntax highlighting to the verification language Dafny in Atom.

Originally converted from the Dafny Sublime Text package.


sh $ apm install language-dafny

Or, Atom → Settings → Install → language-dafny.

Keywords: dafny, verification, language, syntax, highlighting, grammar Suggest keywords
Fork me on GitHub