autocomplete-plus provider for Agda

[buggymcbugfix]

Sorry in advance for opening this issue here, feel free to close it if inappropriate.

It would be very nice if we could teach autocomplete-plus Agda's notion of what an identifier is. If we have some definition long-identifier-*, then at the moment it only suggests long as an identifier.

Has anyone started work on an autocomplete-plus provider for Agda?

I have no experience but would be willing to work on this if others are interested and willing to help out if I get stuck.

[banacorn]

I don't think there's anyone working on autocomplete-plus provider for Agda, it would be great if you are willing to work on it!

I've thought about separating the unicode input method from agda-mode before, because there are people who are using agda-mode just for the input method XD.

[banacorn]

In case anyone wants to know, this is where the keymap is generated: https://github.com/banacorn/keymap

[zamfofex]

Hello!

It’s interesting to note that there is a simple (i.e. incomplete) workaround for this problem.

In the autocomplete-plus package settings, you can set the “Extra Word Characters” setting to “-”, and it will start to recognize long-identifier-foo as a single word.