[plt-scheme] redex: syntactic equality

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Sun Oct 11 23:50:31 EDT 2009

I don't believe there is, because Redex would have no way of knowing
which terms of yours are binders and are available for alpha-renaming.
Not to mention rules like let* and letrec.


On Sun, Oct 11, 2009 at 8:50 PM, Eric Tanter <etanter at dcc.uchile.cl> wrote:
> Hi,
> Is there a way to compare two terms for equality (modulo alpha renaming)
> out-of-the-box?
> or do I have to define my own metafunction for that?
> Thanks,
> -- Éric
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

"The glory of God is Intelligence" - D&C 93

Posted on the users mailing list.