search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
170 stars 41 forks source link

Added logo #123

Closed Trebor-Huang closed 1 year ago

Trebor-Huang commented 2 years ago

See #120

Here's a quick preview of the logos: The one that will be displayed on the marketplace: logo The light-theme version of the file logo: light The dark-theme is simply a color-inversion. The svg file of my simplified logo is also included.

ice1000 commented 2 years ago

The simplified logo is super cute