feat(agda): add support for agda

This commit is contained in:
ShootingStarDragons 2022-07-11 23:05:32 +08:00 committed by Stephan Seitz
parent a773660882
commit 970fe39f4c

View file

@ -44,6 +44,15 @@ local list = setmetatable({}, {
end,
})
list.agda = {
install_info = {
url = "https://github.com/AusCyberman/tree-sitter-agda",
branch = "master",
files = { "src/parser.c", "src/scanner.cc" },
},
filetype = "agda",
maintainers = { "@AusCyberman" },
}
list.qmljs = {
install_info = {
url = "https://github.com/yuja/tree-sitter-qmljs",