Highlight Set₀ Set₁ ... Setω #7
Description
From banacorn/language-agda#18 by @zraffer
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.`