Sandy Maguire
Sandy Maguire
As for why your test doesn't work, my suspicion is that even though you're running the vim command synchronously, the connection with Agda is still async. You'll probably need to...
The reason we don't automatically is that it's really hard to implement! The communication between Agda and the editor is rife with race conditions. Emacs gets away with it by...
~Is there a fix for this problem? It's been driving me crazy all week.~ ```diff - fetch = +refs/heads/main:refs/remotes/origin/main + fetch = +refs/heads/*:refs/remotes/origin/* ``` fixed the issue
This doesn't work when using `Holmes` either.
I just ran into this while trying to make `polysemy` depend on `polysemy-plugin`, but `polysemy-plugin:test` depend on `polysemy`. It's a frustrating limitation, and one that totally breaks the abstraction that...
I can't reproduce this
https://asciinema.org/a/TwY5W0vbjBYKh1iOdHckHiwEO this is the functionality on my end
For what it's worth, this project is mostly unmaintained these days, since I'm no longer actively using Agda and surprisingly busy at work!
I'm all for it if someone is willing to make the introduction
I'm just switching over to cabal from stack, and came across the need to do this. Is this still unsupported? Is there some work around?