Releases · kiranandcode/agda-mode-telemetry-vscode · GitHub

Repository navigation

Release list

v0.1.0 Latest

Latest

github-actions released this 03 Nov 17:16

9c69929

Full Changelog: https://github.com/kiranandcode/agda-mode-telemetry-vscode/commits/v0.1.0

Assets 3