Matt Superdock

Load times slower than emacs mode

1

## Issue After noticing that agda-vim has slower load times than the official emacs mode, I decided to try to figure out why. After some tests, I think the calls...