agda-vim icon indicating copy to clipboard operation
agda-vim copied to clipboard
verified publisher icon derekelkins

Make Agda usage (or at least Agsy usage) asynchronous

Open derekelkins opened this issue 9 years ago • 1 comments

Using something like vimproc may(?) provide a mechanism to avoid the UI becoming unresponsive for long running commands (in particular auto).

Vim 8 has added some asynchronous I/O functionality, so it may be possible to do this without any plugin.

derekelkins avatar Jul 12 '16 03:07 derekelkins

Working on this in pull request #46.

dolio avatar Aug 24 '19 15:08 dolio