I'd like the textual part of htdp/testing to be turned into a typed library. If it is, is it checked in? -- Matthias
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
