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