K-Syntax

Installation

apm install K-Syntax

or

search K-Syntax like below:

Run it

The syntax highlighter for K Framework.

Select the language from the bottom of atom

Enter K-Syntax and select it

Save the file as .k