Stream: User interfaces devs & users

Topic: imported from gitter room coq/user-interfaces


view this post on Zulip Cyril Cohen (Apr 15 2020 at 14:09):

Hi, is this channel empty?

view this post on Zulip Théo Zimmermann (Apr 15 2020 at 14:09):

Yep :(

view this post on Zulip Théo Zimmermann (Apr 15 2020 at 14:09):

Never had any success

view this post on Zulip Andrey Popp (Gitter import) (Apr 16 2020 at 08:02):

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.

view this post on Zulip Théo Zimmermann (Apr 16 2020 at 08:22):

@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.

view this post on Zulip Andrey Popp (Gitter import) (Apr 16 2020 at 09:11):

Those didn't work with neovim because of a nature FFI in neovim.

view this post on Zulip Andrey Popp (Gitter import) (Apr 16 2020 at 09:11):

oh, the one on framagit worked but it was buggy

view this post on Zulip Wolf Honore (Apr 16 2020 at 17:12):

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

view this post on Zulip Pierre Courtieu (Apr 16 2020 at 18:38):

I guess Proofgeneral long life is mainly due to that “not much time for that” thing...


Last updated: Aug 11 2022 at 01:03 UTC