| 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. |
|
![[logo]](/logo.png){kind=logo}