summaryrefslogtreecommitdiff
path: root/tests/examplefiles/agda
Commit message (Collapse)AuthorAgeFilesLines
* agda: allow ticks in module namesGeorg Brandl2022-06-172-2/+2
| | | | Fixes #2163
* Modernize Whitespace token in lexer: haskellSebastian Engel2021-12-031-605/+605
|
* Also add auto-updatable output-based tests to examplefiles (#1689)Oleh Prypin2021-01-202-0/+1468
Co-authored-by: Georg Brandl <georg@python.org>