[racket] Redex model of parallel one-step reduction

[David Van Horn]

I've tried a few times to model the parallel one-step relation on page 
55 in the Redex book as a reduction-relation, but I just can't seem to 
make it work.  Has anyone else been able to do it?

David
_________________________________________________
 For list-related administrative tasks:
 http://lists.racket-lang.org/listinfo/users