Make programming in Agda with Neovim less terrible (according to me). Essentially a less-annoying digraphs tool.
Primary LanguageVim Script