@d_christiansen Hi! Hope you don't mind me bothering, but— I see OCaml and Idris both do this thing where they plug into vi, sublime etc
@mcclure111 The Idris vim plugin is almost embarrassingly simple. A running REPL accepts commands on a socket […cont] @d_christiansen
-
-
@mcclure111 …which update the source file in place. All vim does is run "idris —client [command]"@d_christiansen -
@edwinbrady huh so like wait is the editor actually being drawn by idris or something? :O - 8 more replies
New conversation -
-
-
@edwinbrady VIMS FOR THE VIM GOD! PLUGINS FOR THE PLUGIN THRONEThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.