[racket] Redex: selective rendering of metafunctions/judgments

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Aug 9 16:28:50 EDT 2012

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

Posted on the users mailing list.