vscode-material-icon-theme icon indicating copy to clipboard operation
vscode-material-icon-theme copied to clipboard

Published 20 hours ago • verified publisher icon PKief

[Icon Request] TLA+

Open mahyarmirrashed opened this issue 2 years ago • 0 comments

Icon Type

  • [x] File

File Names

  • .tla

Graphic ideas VSCode TLA+ Extension Icon

I think that it should have a plus sign like the example above to indicate the language in a meaningful way.

Additional context TLA+ is a formal specification language that helps assert algorithm correctness. Useful for the small minority of people that are doing formal algorithm proofs. If you want to use that icon above, I think just asking the extension's developer for permission should be fine enough. Otherwise, something similar that has the plus sign is a good thing to have.

mahyarmirrashed avatar Jun 03 '22 02:06 mahyarmirrashed