Store glyph mapping in a (user-configurable) dict

derekelkins / agda-vim

Agda interaction in vim

BSD 2-Clause "Simplified" License

130 stars 47 forks source link

Store glyph mapping in a (user-configurable) dict #45

Closed rwe closed 5 years ago

rwe commented 5 years ago

Based on/includes #43. This permits easy customization by the user, supports future development of omni completion, and supports future development for unification with the Emacs abbreviations bindings like the Atom agda-mode does, by loading the dict from a file.

derekelkins commented 5 years ago

I'll test these pull requests probably around the end of July/beginning of August. I don't expect any issues. Thanks.