search

banacorn / language-agda

Agda language support for the Atom editor
https://atom.io/packages/language-agda
MIT License
13 stars 5 forks source link

Set₀ Set₁ ... Setω #18

Open zraffer opened 5 years ago

zraffer commented 5 years ago

Perhaps it would be nice to highlight all indexed universe literals Set₀ Set₁ ... Setω (for --omega-in-omega option) the same color as the original unindexed Set literal. Thank you.

banacorn commented 5 years ago

FYI I'm also opening this on the parser repo