Skip to content
This repository has been archived by the owner on Sep 27, 2021. It is now read-only.

Set₀ Set₁ ... Setω #18

Open
zraffer opened this issue Apr 20, 2019 · 1 comment
Open

Set₀ Set₁ ... Setω #18

zraffer opened this issue Apr 20, 2019 · 1 comment

Comments

@zraffer
Copy link

zraffer commented Apr 20, 2019

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 banacorn mentioned this issue Apr 21, 2019
Open
@banacorn
Copy link
Owner

FYI I'm also opening this on the parser repo

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@banacorn @zraffer