(λ
.martin
avanzini
inria
fr) @ .
In this abstract present our Haskell library for rewriting, see also here.
Haskell, Term Rewriting