knube

简单递归定义的表达式。

最初是一个Knuth-Bendix实现尝试，但将函数式风格转换为Rust太难了。

lib.rs:

knube

这个crate包含了对由常量、变量和应用组成的简单项应用Knuth-Bendix补全算法的实现。

表达式以非常函数式的方式进行描述，这是我们课堂上学的方式。