Closed dherman closed 11 years ago
The division operator is the trickiest part of the unification algorithm. Work this one out in the validator implementation first. This will help drive out the spec details.
turned out much simpler; we worked it out in the spec, and it's now implemented too
The division operator is the trickiest part of the unification algorithm. Work this one out in the validator implementation first. This will help drive out the spec details.