Hi, is this channel empty?
Never had any success
Still waiting for a proper vim UI to appear, I gave it a go some time ago (serapi + neovim + lua) and it worked but still requires too much work to polsih. Switched to emacs/PG to unblock my progress.
@Andrey Popp I thought it was more out of interest that you gave it a go. What's wrong with Coqtail again (https://github.com/whonore/Coqtail )? As for NeoVim, there is another fork of Coquille (https://framagit.org/tyreunom/coquille ) which targets it.
Those didn't work with neovim because of a nature FFI in neovim.
oh, the one on framagit worked but it was buggy
I've been working on a pretty big infrastructure change to Coqtail (https://github.com/whonore/Coqtail/tree/async) that should make it easier to eventually support NeoVim, but I haven't had a lot of time recently so progress is slow
I guess Proofgeneral long life is mainly due to that “not much time for that” thing...
Last updated: Jun 10 2023 at 23:01 UTC