cn.enaium.treesitter:treesitter-languages-agda-kmp — package for tree-sitter-languages-kmp KMP library

treesitter-languages-agda-kmp:1.3.3.2

Latest release1.3.3.2 (9 days ago)

Kotlin version2.3.20

DeveloperEnaium

Build tool versionGradle 9.7.0

Android

JVM

iOS

ios_arm64ios_simulator_arm64

macOS

macos_arm64macos_x64

Linux

linux_arm64linux_x64

Windows

mingw_x64

implementation("cn.enaium.treesitter:treesitter-languages-agda-kmp:1.3.3.2")

agda grammar for tree-sitter

Version	Release	Platforms
1.3.3.2	Release: 13 Sep 2026	iOSAndroidJVMmacOSLinuxWindows
1.3.3	Release: 28 Aug 2026	iOSAndroidJVMmacOSLinuxWindows
0.25.1	Release: 28 Aug 2026	iOSAndroidJVMmacOSLinuxWindows

*Only more recent versions are displayed