Skip to content

v1.3.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 10 Nov 18:25
· 5 commits to master since this release
v1.3.2
5500eb0
This commit was signed with the committer’s verified signature.
amaanq Amaan Qureshi
GPG key ID: E67890ADC4227273
Verified
Learn about vigilant mode.

NOTE: Download tree-sitter-agda.tar.xz for the complete source code.

Assets 4
Loading