[racket] unification

From: YC (yinso.chen at gmail.com)
Date: Fri Dec 10 18:14:44 EST 2010

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

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


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>

Posted on the users mailing list.