summaryrefslogtreecommitdiff
path: root/tests/examplefiles/test.agda
Commit message (Expand)AuthorAgeFilesLines
* Added 5 keywords to Agda lexer. Extended test.abel2014-10-021-0/+7
* Test files for Agda and literate Agda modeTim Baumann2013-05-191-0/+102