On Oct 26, 2010, at 3:51 PM, John Clements wrote: > > On Oct 26, 2010, at 12:28 PM, Matthias Felleisen wrote: > >> >> 1. BSL, BSL+, ISL, and ISL+ (HtDP teaching languages) no longer support >> checked signatures. >> >> 2. The stepper should kind of mostly work for universe programs. John? > > Precisely. > > That is: there's more junk that could be hidden, but the universe program > that I tested did in fact work[*] just fine. Has this been broken long enough > that fixing it deserves a bullet? I'm inclined to say no. >
A year counts. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
