@d_christiansen via some sort of server that the editor talks to via a socket. someone said you're involved with the Idris version—
@mcclure111 oh, right. I may have misunderstood what you were asking. The vim mode can't do semantic highlighting, sadly.
-
-
@mcclure111 I've found a limitation with vim was that I couldn't process output from idris. The emacs/atom modes can do much more. -
@edwinbrady i see! what kinds of capabilities *does* the vim mode offer, then? - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.