Specify highlight priority

isovector / cornelis

agda-mode for neovim

BSD 3-Clause "New" or "Revised" License

130 stars 22 forks source link

Closed 4e554c4c closed 10 months ago

4e554c4c commented 10 months ago

This is much easier than I originally thought it would be!

I also refactored catMaybes into a (in my opinion) more readable version where the always-included elements in are in a separate list.

Fixes #125

isovector commented 10 months ago

This is amazing, thank you so much!!