@mcclure111 The Idris vim plugin is almost embarrassingly simple. A running REPL accepts commands on a socket […cont] @d_christiansen
-
-
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 -
Replying to @edwinbrady
@edwinbrady huh so like wait is the editor actually being drawn by idris or something? :O1 reply 0 retweets 0 likes -
Replying to @mcclure111
@mcclure111 No, Idris is just updating files, and vim reloads it after each command1 reply 0 retweets 0 likes -
-
Replying to @mcclure111
@mcclure111 these are just Idris source files - vim tells the repl which file to load then modify via iris —client1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady hm. now is the coloration determined? sorry, i think i'm still missing something.1 reply 0 retweets 0 likes -
Replying to @mcclure111
@mcclure111 oh, right. I may have misunderstood what you were asking. The vim mode can't do semantic highlighting, sadly.1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@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.1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady i see! what kinds of capabilities *does* the vim mode offer, then?1 reply 0 retweets 0 likes
@mcclure111 The main purpose is interactive type-directed editing (case split, program search, etc). Also evaluation, looking at types/docs
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.