[plt-dev] redex words flipped

From: Jon Rafkind (rafkind at cs.utah.edu)
Date: Thu Mar 5 00:13:46 EST 2009

In redex, when A reduces to B such that an arrow points to B from A and 
A is in quadrants 1 or 4 relative to B, the text is flipped. Here is a 


Posted on the dev mailing list.