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

treesitter-languages-agda-kmp:0.25.1

Latest release1.3.3 (5 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:0.25.1")

agda grammar for tree-sitter

Version	Release	Platforms
1.3.3	Release: 28 Aug 2026	iOSAndroidJVMmacOSLinuxWindows
0.25.1	Release: 28 Aug 2026	iOSAndroidJVMmacOSLinuxWindows

*Only more recent versions are displayed