From: Robby Findler (robby at eecs.northwestern.edu) Date: Tue May 12 16:56:34 EDT 2009 |
|
If you have any redex models lying around, can you look and see if you use 'where' clauses? If so, can you look to see if the variable bound in the where clause has an appropriate name for what it is bound to? That is, if it is bound to a number, the variable must be named number_x (for some 'x')? Thanks, Robby
Posted on the dev mailing list. |
|