[Agda] VIM syntax highlighting for Agda

[Petr Pudlak]

Hi,

is there a VIM syntax highlighting script for Agda?

At Hackage I saw a package Agda.Interaction.Highlighting.Vim, but I
have no idea how (or if) I can use it to highlight Agda sources in Vim.

    Thanks,
    Petr Pudlak