[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