((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[racket] unification

From: YC (yinso.chen at gmail.com)
Date: Fri Dec 10 17:33:16 EST 2010		 
Hi all -

does anyone know where I can find code for implementations of the
unification algorithm in racket?

Thanks,
yc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20101210/929574a9/attachment.html>
Posted on the users mailing list.