自己写的一个小玩意,输入一个表达式,然后会输出其归约情况.有兴趣的可以下来看看.