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.
-
It's temporary I hope but still a little frustrating!
End of conversation
-
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.