summaryrefslogtreecommitdiff
path: root/tests/examplefiles/test.idr
Commit message (Expand)AuthorAgeFilesLines
* Idris lexer: add support for doc commentsTim Baumann2014-08-311-0/+1
* Idris lexer: parse commented out type declarations as commentsTim Baumann2014-08-311-0/+7
* Idris: added examplefileraichoo2014-03-041-0/+93