1 2 3 4 5 6
//! # knube //! //! This crate contains an implementation of the Knuth-Bendix completion algorithm applied to //! simple terms composed of constants, variables, and applications. pub mod exp;
1 2 3 4 5 6
//! # knube //! //! This crate contains an implementation of the Knuth-Bendix completion algorithm applied to //! simple terms composed of constants, variables, and applications. pub mod exp;