agda-vim

agda-vim copied to clipboard

Fixed go to definition to work with Agda 2.6+, improved unicode support, added support for python 3

4

### Go to definition * Fixed regex for parsing annotations to match up with the formatting described in the link above `parseAnnotation` * Changed highlighting level for load commands sent...

1000000000

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

msuperdock

Hangs on Windows when opening agda file

1

The plugin runs perfectly for me under linux, but when I install it under Windows (I tried with vim and neovim as well) it freezes as soon as I open...

isti115

Minimal changes necessary for having an async Agda process

5

- An autoload script manages the job with vim's async job control - The function to send commands to the process is wrapped into python - The response interpreter becomes...

dolio

Make Agda usage (or at least Agsy usage) asynchronous

1

Using something like vimproc may(?) provide a mechanism to avoid the UI becoming unresponsive for long running commands (in particular auto). Vim 8 has added some asynchronous I/O functionality, so...

derekelkins

Add support for "Go to definition of identifier under point"

4

It s middle mouse button click or m-. in emacs mode https://agda.readthedocs.io/en/v2.5.2/tools/emacs-mode.html

srghma

srghma

Extend the utf-8 file

1

I've come across this list of symbols: http://people.inf.elte.hu/divip/AgdaTutorial/Symbols.html Would be nice to have them available. I started searching for them because I needed the blackboard P. But this list lacks...

nkaretnikov

Python 3 Support

1

Hi, I tried to implement python3 support for your plugin as my vim has no python2. You can have a look at . I do not want to open a...

tc-0

(Seemingly) fail to handle multiple responses from Agsy

4

I noticed that when Agsy seems to synthesize solutions to multiple holes (possibly due to some hole being a parameter to the type of another hole), `agda-vim` appears no be...

favonia