Commit graph

2 commits

Author SHA1 Message Date
Christian Clason
fd59f98441 fix(idris): correct keyword captures
Fixup for #7274
2025-01-16 17:45:38 +01:00
Serhii Khoma
8758abeb4d
feat(idris): add parser and queries (#7274) 2025-01-16 17:34:37 +01:00