aboutsummaryrefslogtreecommitdiffstats
path: root/queries/idris
Commit message (Expand)AuthorAgeFilesLines
* feat!: drop modules, general refactor and cleanupChristian Clason2025-05-124-264/+0
* fix(idris): correct keyword capturesChristian Clason2025-01-161-3/+7
* feat(idris): add parser and queries (#7274)Serhii Khoma2025-01-164-0/+260