@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 …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 -
@mcclure111 No, Idris is just updating files, and vim reloads it after each command - 7 more replies
New conversation -
-
-
Thanks. 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.