[Agda] VIM syntax highlighting for Agda

Anthony guerrilla_thought at gmx.de
Wed Feb 24 11:47:34 CET 2010


On 02/24/2010 11:38 AM, Nils Anders Danielsson wrote:
> 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.
>

Nils,

  That sounds like a good idea actually. It seems I need authentication 
to do so though. How do I go about obtaining that?

- Tony


More information about the Agda mailing list