@hackage joy-rewrite0.2.0

Transform Joy code using conditional rewrite rules

This package implements a rewriting function as detailed in the paper A Rewriting System for Joy by Manfred von Thun. It can be used to simplify expressions or to replace constant expressions by their results.