Agda.Interaction.Highlighting.Vim

vimFile

escape

wordBounded

keyword

match

matches

toVim

generateVimFile