[plt-dev] where clauses in reduction relations & metafunctions

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')?


Posted on the dev mailing list.