guarded-rewriting-0.1: Generic rewriting with preconditions<br>=====================================================================<br><br>This is a generic rewriting library based on type classes and type <br>families described in the paper: Thomas van Noort, Alexey Rodriguez <br>

draft version of this paper is currently available at <br><a href="http://dreixel.net/research/pdf/ladgr_draft.pdf">http://dreixel.net/research/pdf/ladgr_draft.pdf</a>.<br><br>The main differences from our previous generic programming library (see <br>

<a href="http://hackage.haskell.org/package/rewriting">http://hackage.haskell.org/package/rewriting</a>) are the support for more <br>datatypes (including parametrized and families of datatypes) and the <br>possibility of adding preconditions to rewrite rules. <br>