Don’t Implement Unification by RecursionUnification is formal methods speak for solving equations.#unification#recursion#algorithms#types·philipzucker.com·Oct 29, 2024Don’t Implement Unification by Recursion
