Equations for 112.trs

Equation 1

0 = :(nats,:(hd(s(0)),d(nats)))

Equation 2

nats = y

Equation 3

d(nats) = tl(s(s(d(x))))