search

banacorn / agda-mode-vscode

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

v0.3.12 not available on extensions store #146

Closed nicolo-ribaudo closed 1 year ago

nicolo-ribaudo commented 1 year ago

https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode only has v0.3.11, are there any plans to publish the latest version?

L-TChen commented 1 year ago

Sorry for the wait and thanks for asking. The latest verison 0.3.12 has now been published.

nicolo-ribaudo commented 1 year ago

Thank you!