graph-rewriting-trs-0.1.4: examples/add.trs

import peano.trs

A0x    → x
A(Sx)y → S(Axy)