summaryrefslogtreecommitdiff
path: root/tests/examplefiles/test.agda
Commit message (Expand)AuthorAgeFilesLines
* Test files for Agda and literate Agda modeTim Baumann2013-05-191-0/+102