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