On Sun, Jun 20, 2010 at 7:10 PM, David Van Horn wrote:
> 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?
I don't think that there is a good way to d
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:
2 matches
Mail list logo
