/tests/lexers/agda/

• ../
• example.txt