[racket] unification

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.

On Fri, Dec 10, 2010 at 3:33 PM, YC <yinso.chen at gmail.com> wrote:

> Hi all -
>
> does anyone know where I can find code for implementations of the
> unification algorithm in racket?
>
> Thanks,
> yc
>
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20101210/25a6800b/attachment.html>