[racket] Redex: selective rendering of metafunctions/judgments

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Thu Aug 9 14:55:42 EDT 2012

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?

  [-----------  zero
   (sum z n n)]

instead of

  [-----------  "zero"
   (sum z n n)]


Posted on the users mailing list.