[racket] redex model rendered too narrow

From: Jon Rafkind (rafkind at cs.utah.edu)
Date: Mon Mar 4 16:07:17 EST 2013

The pdf rendering of my redex model does not seem to take `where' clauses into account when computing the width of the pict. In a few rules this results in the where clause being cut off. Any idea what to do about it?

Posted on the users mailing list.