On Sun, Aug 7, 2011 at 10:50 AM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > Good, now change define-judgment-form to define-judgment. >
Did you miss my objection to that name? _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
