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
* Update ElixirLexer and example_elixir.exAlexei Sholik2014-06-051-0/+93