tree-sitter / tree-sitter-agdaLinks

Agda grammar for tree-sitter
β˜†39Updated 3 weeks ago

Alternatives and similar repositories for tree-sitter-agda

Users that are interested in tree-sitter-agda are comparing it to the libraries listed below

Sorting: