Keywords set of the Idris language was extended and corrected

jgm / skylighting

A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions

190 stars 61 forks source link

Keywords set of the Idris language was extended and corrected #92

Closed buzden closed 4 years ago

jgm commented 4 years ago

It doesn't seem that this definition has been submitted upstream to KDE yet. It would be good to do that.

buzden commented 4 years ago

It doesn't seem that this definition has been submitted upstream to KDE yet. It would be good to do that.

I agree, but I'm sure this XML description should be reviewed also for correctness of regular expressions (since, original vim-syntax file has evolved too). I don't feel myself confident to do it.