aboutsummaryrefslogtreecommitdiffstats
path: root/queries/idris
Commit message (Expand)AuthorAgeFilesLines
* fix(idris): correct keyword capturesChristian Clason2025-01-161-3/+7
* feat(idris): add parser and queries (#7274)Serhii Khoma2025-01-164-0/+260