[racket] Redex: selective rendering of metafunctions/judgments

Okay, pushed.

Robby

On Thu, Aug 9, 2012 at 1:55 PM, Asumu Takikawa <asumu at ccs.neu.edu> wrote:
> On 2012-08-08 21:42:36 -0500, Robby Findler wrote:
>> I also added clause names to judgment forms and a parameter that lets
>> you use those names to control typesetting.
>
> Thanks, this works great! Is it possible to make it work like reduction
> names, where you can provide an identifier instead of a string too?
>
> e.g.,
>   [-----------  zero
>    (sum z n n)]
>
> instead of
>
>   [-----------  "zero"
>    (sum z n n)]
>
> Cheers,
> Asumu