[racket] unification

Thanks for all the quick responses from Carl, Shriram, Justin, and Doug so
far.

Shriram - didn't realize this has homework implications or I would be more
careful ;)

Thanks,
yc

On Fri, Dec 10, 2010 at 2:48 PM, Doug Williams <m.douglas.williams at gmail.com
> wrote:

> The inference collection has a unification algorithm buried in it. I also
> have a simpler version in Scheme somewhere in my archives. I'll look for it.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20101210/2f4f0c34/attachment.html>