/tests/examplefiles/lagda/

• ../
• example.lagda
• example.lagda.output