[plt-scheme] redex: syntactic equality

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Sun Oct 11 22:50:10 EDT 2009

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




Posted on the users mailing list.