[plt-scheme] redex: syntactic equality

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.

Jay

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
http://teammccarthy.org/jay

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