Watch our latest webinar
to understand the difference between data from Libraries.io and the Tidelift Subscription.
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:15
Browse source on GitHub
Subscribe to an RSS feed of tree-sitter-agda releases
