summaryrefslogtreecommitdiff
path: root/tests/examplefiles/agda/test.agda
Commit message (Collapse)AuthorAgeFilesLines
* agda: allow ticks in module namesGeorg Brandl2022-06-171-1/+1
| | | | Fixes #2163
* Also add auto-updatable output-based tests to examplefiles (#1689)Oleh Prypin2021-01-201-0/+109
Co-authored-by: Georg Brandl <georg@python.org>