tree-sitter-agda

Activity

Total releases

1

Last 12 months

0

Cadence

—

Dependencies

3

Release mix

• cc ^1.1 build
• tree-sitter ^0.24 dev
• tree-sitter-language ^0.1

• woocraft
• ae