[racket] Redex model of parallel one-step reduction

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Sun Jun 20 20:10:29 EDT 2010

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


Posted on the users mailing list.