summaryrefslogtreecommitdiff
path: root/tests/examplefiles/agda/test.agda.output
Commit message (Expand)AuthorAgeFilesLines
* agda: allow ticks in module namesGeorg Brandl2022-06-171-1/+1
* Modernize Whitespace token in lexer: haskellSebastian Engel2021-12-031-605/+605
* Also add auto-updatable output-based tests to examplefiles (#1689)Oleh Prypin2021-01-201-0/+1359