Re: [Haskell] ANN: SmallCheck 0.3

colin: > SmallCheck 0.3: another lightweight testing library in Haskell > -- > > A new version of SmallCheck can be obtained from: > > http://www.cs.york.ac.uk/fp/smallcheck0.3.tar Colin, is there any chance smallcheck could be cabal

[Haskell] ANNOUNCE: Sessions 2008.5.2

Howdy, I'm pleased to announce the general availability of Session Types for Haskell, version 2008.5.2. It is available from my website[0], Hackage[1][2] and I've just updated the online tutorial[3] to take into account the recent changes and new features. [0] http://wellquite.org/non-blog/sessio

[Haskell] ANN: SmallCheck 0.3

SmallCheck 0.3: another lightweight testing library in Haskell -- A new version of SmallCheck can be obtained from: http://www.cs.york.ac.uk/fp/smallcheck0.3.tar Main differences from 0.2: * existential quantifiers now have unique va