Crate knube
Version 0.1.0
See all knube's items
This crate contains an implementation of the Knuth-Bendix completion algorithm applied to simple terms composed of constants, variables, and applications.
Simple expression construction.