[Agda] VIM syntax highlighting for Agda

[Nils Anders Danielsson]

On 2010-02-24 08:44, Anthony de Almeida Lopes wrote:
> I've attached my (incomplete) VIM syntax file and below I'll paste the
> other command:

If you want to, you can create a page about Vim syntax highlighting on
the Agda wiki, containing your scripts and anything else necessary to
make things work.

-- 
/NAD