The 2024 Tidelift maintainer report is live! 📊
Read now!
Toggle navigation
Login
GitHub
GitLab
Bitbucket
By logging in you accept
our
terms of service
and
privacy policy
tree-sitter-agda
Releases
1.3.3
November 10th, 2024 23:30
Browse source on GitHub
Subscribe to an RSS feed of tree-sitter-agda releases