@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 No, Idris is just updating files, and vim reloads it after each command
-
-
@edwinbrady hm, ok. what do the files contain? -
@mcclure111 these are just Idris source files - vim tells the repl which file to load then modify via iris —client - 5 more replies
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.