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...

okpy.org down

1

The okpy.org site has been down for at least ~24 hours. (I'm not sure whether the server configuration is part of this repository, but this seemed to be the most...