issues
search
banacorn
/
agda-mode-vscode
agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
169
stars
39
forks
source link
Syntax highlighting for COMPILE and FOREIGN pragmas
#118
Closed
KislyjKisel
closed
1 year ago
banacorn
commented
1 year ago
Thank you!
Thank you!