Rewrite Inspector

A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of small languages.

To use the library, the user's type of language expressions must be an instance of the Diff typeclass (see app/Main.hs for an example).