Atom Packages Directory

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

Dafny

Install with:
    apm install language-dafny
  

Dafny language support in Atom

dafny-logo

Adds syntax highlighting to the verification language Dafny in Atom.

Originally converted from the Dafny Sublime Text package.

Installation

sh $ apm install language-dafny

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

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