| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat!: drop modules, general refactor and cleanup | Christian Clason | 2025-05-12 | 4 | -264/+0 |
| * | fix(idris): correct keyword captures | Christian Clason | 2025-01-16 | 1 | -3/+7 |
| * | feat(idris): add parser and queries (#7274) | Serhii Khoma | 2025-01-16 | 4 | -0/+260 |
