wait. i didn't really think about the stuff in this screenshot beyond The Whole Point till just now
but like. is this vs code(?) running emacs to run agda
huh not sure
since agda talks about "emacs mode" in the docs I kinda assumed it just has some sort of interface to talk to emacs and vscode uses the same interface
maybe they go through emacs for that ???
the "emacs v2.6.3" made me think that, but it might not actually be the case
its just funny that it looks like it's easier to run a second editor in the background than to attempt to talk to agda directly
v2.6.3 is the agda version, not the emacs version (well. unless they happen to coincide ?)
...oh yeah. no emacs is like twentysomething (i got, uh.... 27.1 here). that's a pretty weird way to write it