The syntax highlighting for K Framework.
This package is still under development and will updated as I learn more about K Framework.
apm install language-k
or
search language-k
like below:
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.