ATS Language Package

This package adds ATS Support to the Atom Text Editor.

Package Created by Spencer Hayes

Installation

A video of the three different methods of installation can be found here. The three methods are as follows:

• Install via Settings Menu in Atom. Go to Install -> Install Packages and Search "language-ats".
• Install via Atom Package Manager (apm). Via terminal type:

apm install language-ats

• Install via GitHub. Run the following from your terminal:

git clone https://github.com/SpencerHHayes/language-ats
apm link language-ats

Snippets

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!

What is ATS?

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.