On Wed, Aug 8, 2012 at 9:14 PM, Asumu Takikawa <as...@ccs.neu.edu> wrote: > 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?
Yes. I've added a mention. I also added clause names to judgment forms and a parameter that lets you use those names to control typesetting. Robby ____________________ Racket Users list: http://lists.racket-lang.org/users
