Skip to content

Releases: tree-sitter/tree-sitter-agda

v1.3.3

10 Nov 23:15
4780209
Compare
Choose a tag to compare

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

v1.3.2

10 Nov 18:25
5500eb0
Compare
Choose a tag to compare

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

v1.2.1

20 Sep 10:18
Compare
Choose a tag to compare
[ git ] Bump version

v1.1.1

26 Jul 08:48
Compare
Choose a tag to compare
[ dep ] Bump version to 1.1.1

v1.1.0

20 Jun 07:42
Compare
Choose a tag to compare
Merge branch 'master' of github.com:tree-sitter/tree-sitter-agda

v1.0.16

03 Oct 08:25
Compare
Choose a tag to compare
1.0.16

v1.0.15

03 Oct 07:52
Compare
Choose a tag to compare
1.0.15

v1.0.14

03 Oct 07:07
Compare
Choose a tag to compare
1.0.14

v1.0.10

01 Aug 07:55
Compare
Choose a tag to compare
1.0.10

v1.0.8

31 Jul 05:00
Compare
Choose a tag to compare
oopsy