This package adds ATS Support to the Atom Text Editor.
Package Created by Spencer Hayes
A video of the three different methods of installation can be found here. The three methods are as follows:
apm install language-ats
git clone https://github.com/SpencerHHayes/language-ats
apm link language-ats
Atom gives developers the ability to enable snippets, basically coding shortcuts, into their packages. This package also supports a number of snippets. To use, first take a look at the list of Snippets over on the language-ats settings within Atom. Simply type the trigger phrase for the snippet you want to use, and either tab or hit enter and the snippet will activate. If you have any suggestions for snippets you would like to see in future with this package, please forward your suggestions!
From Wikipedia: "ATS is a programming language designed by Honwei Xi to unify programming with formal specification. ATS has support for combining theorem proving with practical programming through the use of advanced type systems."
You can find out more about ATS by visiting its official website.
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.