knube

Simple expressions defined recursively.

Started as a Knuth-Bendix implementation attempt, but translating the functional style to Rust was too hard.

lib.rs:

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.