On Mon, Jan 25, 2010 at 2:05 AM, Michael Sperber <[email protected]> wrote: > I'll point out that a quite complete port of the original QuickCheck is > sitting in the deinprogramm/quickcheck collection. I wrote it for our > teaching languages (where feedback indicates it's a success), but it's > by no means restricted to that.
Can you say more about how you use it in the course? Specifically, where do you start using it and what kinds of invariants do you use with it? Robby _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
