[racket] Redex: selective rendering of metafunctions/judgments

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Wed Aug 8 22:14:10 EDT 2012

On 2012-08-08 19:17:32 -0500, Robby Findler wrote:
> (parameterize ([metafunction-cases '(1)])
>   (render-metafunction f))

Oh, duh, I missed this in the docs. Sorry for the noise.

Seems to work for judgments too. Is this fact worth mentioning in the
docs?

Cheers,
Asumu

Posted on the users mailing list.