Syntax highlighting for K Framework - View it on GitHub