Don’t Implement Unification by Recursion (via mjn) — discussion

#plt