Yes. On Aug 7, 2011, at 12:09 PM, Casey Klein wrote:
> 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
