Agda.Interaction.Highlighting.Vim

vimFile

escape

keyword

match

matches

toVim

generateVimFile