Make Agda usage (or at least Agsy usage) asynchronous

derekelkins / agda-vim

Agda interaction in vim

BSD 2-Clause "Simplified" License

130 stars 47 forks source link

Open derekelkins opened 8 years ago

derekelkins commented 8 years ago

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.

dolio commented 5 years ago

Working on this in pull request #46.