# 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).


Available on [![Hackage](https://img.shields.io/badge/Hackage-v0.1.0.2-blue.svg)](http://hackage.haskell.org/package/rewrite-inspector)