agda-vim is nothing short of heroic but it is buggy and doesn't scale. As soon as your file is 150> and you're using few imports, the load time becomes unbearable. I switched to @spacemacs just for that. It has almost all the VIM key bindings. I highly recommend it.
-
-
This Tweet is unavailable.
-
-
This Tweet is unavailable.
-
Replying to @raichoo @spacemacs
I know. I've been a vi user for the past decade. As it is, it is not possible to use Vim with Agda for anything more than learning. Hope you have better luck with it.
1 reply 0 retweets 0 likes -
This Tweet is unavailable.
-
Replying to @raichoo @spacemacs
Yeah, I almost went down that route, but I found the relevant bit of Agda code very messy to work with. Fair enough! Enjoy it. It's quite addictive.
1 reply 0 retweets 1 like -
This Tweet is unavailable.
-
Neither do I :(.
1 reply 0 retweets 0 likes -
This Tweet is unavailable.
It's temporary I hope but still a little frustrating!
2:49 PM - 28 Mar 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.