/tests/lexers/idris/