| From: Casey Klein (clklein at eecs.northwestern.edu) Date: Sun Aug 7 12:09:13 EDT 2011 |
|
On Sun, Aug 7, 2011 at 10:50 AM, Matthias Felleisen <matthias at ccs.neu.edu> wrote: > > Good, now change define-judgment-form to define-judgment. > Did you miss my objection to that name?
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}