Kathy Gray wrote:
On 17 Mar 2009, at 12:30:42, Matthias Felleisen wrote:
I'd like the textual part of htdp/testing to be turned into a typed
library. If it is, is it checked in? -- Matthias
htdp/testing is deprecated and, as I keep saying, should disappear when
there are no more requirements on it.
I find htdp/testing quite useful for lightweight testing and simple
porting of Student programs to Scheme.
If it goes away, something as easy to use should replace it. Which I
guess prompts the question: why have it go away at all?
David
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
