Crate knube[−][src]
knube
This crate contains an implementation of the Knuth-Bendix completion algorithm applied to simple terms composed of constants, variables, and applications.
Expressions are described in a very functional way, which is how we study them in class.
Re-exports
pub use exp::*; |
Modules
exp | Simple expression construction. |