Crate knube

knube

This crate contains an implementation of the Knuth-Bendix completion algorithm applied to simple terms composed of constants, variables, and applications.

Modules

exp	Simple expression construction.