[Agda] VIM syntax highlighting for Agda

Anthony guerrilla_thought at gmx.de
Thu Feb 25 17:56:09 CET 2010


On 02/24/2010 07:03 PM, Petr Pudlak wrote:
> Thanks to all for valuable help. (We're having a seminar tomorrow at the
> university and this will help me a lot to present a few Agda proofs.)
>

:)

> Looks interesting. Another tip: Recently I've discovered that special
> characters can be entered inside VIM using the Ctrl-K combination.
> See http://vim.wikia.com/wiki/Entering_special_characters
>

Ah, nice. A bit cumbersome to remember all of that, but good for the 
diagraphs. That's actually really useful for me since I write in Swedish 
sometimes.

Anyhow, I added that to the wiki the wiki too.

By the way, for anyone that didn't notice, the "Editing Agda code using 
Vim" section has been moved to the "Documentation" node.

Also, Nicolas, if you know of generic documentation for XCompose, we 
should probably add that to the Agda wiki too. Most of what I'm seeing 
is Debian and Ubuntu (with KDE) specific.

- Tony


More information about the Agda mailing list