@hackage rest-rewrite0.4.4

Rewriting library with online termination checking

REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872.