@d_christiansen would you have any advice on getting started with making a system like this? i'm working on a language project…
@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.
-
-
@edwinbrady i see! what kinds of capabilities *does* the vim mode offer, then? -
@mcclure111 The main purpose is interactive type-directed editing (case split, program search, etc). Also evaluation, looking at types/docs
End of conversation
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.