@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
-
-
Replying to @mcclure111
@d_christiansen via some sort of server that the editor talks to via a socket. someone said you're involved with the Idris version—1 reply 0 retweets 0 likes -
Replying to @mcclure111
@d_christiansen would you have any advice on getting started with making a system like this? i'm working on a language project…1 reply 0 retweets 0 likes -
Replying to @mcclure111
@d_christiansen it seems like there must be some amount of duplicated effort between merlin, idris's merlin equivalent etc.2 replies 0 retweets 0 likes -
Replying to @mcclure111
@mcclure111 The Idris vim plugin is almost embarrassingly simple. A running REPL accepts commands on a socket […cont]@d_christiansen2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@mcclure111 …which update the source file in place. All vim does is run "idris —client [command]"@d_christiansen2 replies 0 retweets 0 likes
@mcclure111 This is the whole thing https://github.com/idris-hackers/idris-vim/blob/master/ftplugin/idris.vim#L18 … @d_christiansen
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.