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

add lagda.md highlight support #121

Closed choukh closed 1 year ago

choukh commented 1 year ago
截屏2022-09-24 1 55 12
banacorn commented 1 year ago

Thank you!!