Package Details: tree-sitter-agda 1.3.3-4

Git Clone URL: https://aur.archlinux.org/tree-sitter-agda.git (read-only, click to copy)
Package Base: tree-sitter-agda
Description: Agda grammar for tree-sitter
Upstream URL: https://github.com/tree-sitter/tree-sitter-agda
Licenses: MIT
Groups: tree-sitter-grammars
Provides: libtree-sitter-agda.so
Submitter: Chocobo1
Maintainer: Chocobo1
Last Packager: Chocobo1
Votes: 0
Popularity: 0.000000
First Submitted: 2025-03-05 23:09 (UTC)
Last Updated: 2025-03-09 15:42 (UTC)