/examples/test/

• ../
• paraphrase
• typecheck