@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 these are just Idris source files - vim tells the repl which file to load then modify via iris —client
-
-
@edwinbrady hm. now is the coloration determined? sorry, i think i'm still missing something. -
@mcclure111 oh, right. I may have misunderstood what you were asking. The vim mode can't do semantic highlighting, sadly. - 3 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.