Packages tagged: agda

treesitter_agda
Nim wrapper for Agda language support within tree-sitter
Pure Nim tree-sitter agda parser language code