[racket] unification

There is one in Kent Dybvig's book, "The Scheme Programming Language."
 It's online at
http://www.scheme.com/tspl3/examples.html#./examples:h10

Justin

On Fri, Dec 10, 2010 at 5: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
>