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