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. -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAL-Unv9g6xa%2BrkJsN1FVxY0DMboWWkgvqyQmA7_h6u_Gpn0eZQ%40mail.gmail.com.