joy-rewrite

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.