tree-sitter-agda

Agda grammar for tree-sitter

Stars

3

Forks

1

Language

Yacc

Last Updated

Oct 06, 2022

Similar Repos