[racket-dev] Alpha-equivalence for Racket

From: Carl Eastlund (cce at ccs.neu.edu)
Date: Fri Mar 25 14:52:24 EDT 2011

Has anyone ever implemented alpha-equivalence for fully expanded
Racket programs?  It seems like it might be useful for testing macros,
and I'd rather not duplicate effort if it's already been done.

Carl Eastlund

Posted on the dev mailing list.