Benjamin Pierce <[EMAIL PROTECTED]> writes:
> Today I've been learning about the wonders of QuickCheck. :-)
>
> One (obvious?) question that is not addressed in at least the original paper
> is how one might use QC to automatically verify the algebraic laws
Some utility code is available in the
On Wed, 23 Mar 2005 13:08:43 -0500
Benjamin Pierce <[EMAIL PROTECTED]> wrote:
> Today I've been learning about the wonders of QuickCheck. :-)
>
> One (obvious?) question that is not addressed in at least the original paper
> is how one might use QC to automatically verify the algebraic laws that
Today I've been learning about the wonders of QuickCheck. :-)
One (obvious?) question that is not addressed in at least the original paper
is how one might use QC to automatically verify the algebraic laws that are
often associated with type classes. E.g., could we add some QC properties
as memb
Switching to -cafe...
At 12:14 22/03/05 +, Malcolm Wallace wrote:
>import http://domain.org/package-1.0.cabal#Network.HTTP as HTTP
>import http://hage.org/package-2.1.cabal#Network.HTTP as HTTP2
> --note use of HTTP fragment identifier for module name
I cannot see any of the Haske
