tree-sitter-agda

Agda grammar for tree-sitter

Stars

32

Forks

15

Language

Yacc

Last Updated

May 06, 2024

Similar Repos