[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