tree-sitter / tree-sitter-agdaLinks

Agda grammar for tree-sitter
β˜†36Updated 6 months 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: