Terms are equivalent only if they are both well-formed
Julien LepillerSun Apr 05 16:18:11+0200 2020
8cffbc4
iri.scmiri.scm