/examples/test/

• ../
• paraphrase
• parser
• srg
• typecheck