Agda.Interaction.Highlighting.Vim
on
vimFile
escape
keyword
match
matches
toVim
generateVimFile