/tests/examplefiles/idris/

• ../
• test.idr
• test.idr.output