Vim script is all I ever do
Anyone use Idris? You should, it’s good.
Anyway, I made a Vim syntax for it. Beware the indent is rubbish, due to the old chestnut that context free languages are a bit tricky to recognise using regular expressions. Colouring things in is easier because most of it is just looking for certain tokens (which, of course, really is regular in most/all languages).
Anyway, this. I might even remember to upload updates when I do them1, who knows.
-
I won’t. ↩