Sublime Text - Build/Type Check with hot key

[Steinway Wu]

Hi, 

https://gist.github.com/steinwaywhw/27d8fbb569cf178d08d9465aa92c741e

I’m sharing my SublimeText script for building/typechecking ATS files. After loading this plugin, and filling the blanks, press the hotkey for Build (on mac, it is cmd+b/cmd+shift+b), it will compile/typecheck the program. 

Hope it helps.