while parsing or during a separate pass.
Read more:https://t.co/i2y3Q3vo2E，推荐阅读wps获取更多信息
Enter lambda terms, click subterms to reduce them, and explore different reduction paths through a branching derivation tree.，详情可参考手游
Laura CressTechnology reporter