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.
The functions provided by htdp/testing are actually implemented by test-engine/scheme-tests.ss, which is what anyone using htdp/testing should be using now instead. I don't know if the implementation could be turned into a typed library.
-Kathy _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
