summaryrefslogtreecommitdiff
path: root/tests/test_idris.py
Commit message (Expand)AuthorAgeFilesLines
* Correct lexing of Idris compiler directives (#1363)Molly Miller2020-01-191-0/+65