Okay, pushed. Robby
On Thu, Aug 9, 2012 at 1:55 PM, Asumu Takikawa <as...@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 ____________________ Racket Users list: http://lists.racket-lang.org/users
