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 ____________________ Racket Users list: http://lists.racket-lang.org/users
