Support for Agda (syntax, input unicode characters (\forall is for ∀, for example), integration with agda binary)
Agda is now possible to edit in emacs only, but Sublime seems to be perfect replacement for it.
Minimal list of features to support it is:
* Syntax (emacs doesn't support it by itself, only by grabbing some output from agda executable)
* Unicode symbols (when typing \forall, you get ∀, \-> is for → etc.)
* Grabbing output with highlighting from Agda
I'll try to make plugin myself, but I have no experience in it.
Customer support service by UserEcho