/testsuite/runtime/

• ../
• eval
• linearize
• paraphrase
• parser
• typecheck