/tests/examplefiles/agda/

• ../
• test.agda
• test.agda.output