[Haskell] ANN: IOSpec 0.2

Wouter Swierstra wss at Cs.Nott.AC.UK
Tue Feb 5 09:36:59 EST 2008

I'm pleased to announce the latest version of the IOSpec library.

The IOSpec library contains a pure specification of several functions  
in the IO monad. You can use these specifications to test, debug, and  
reason about impure code. You can find more information, examples, and  
documentation on the homepage:

   * http://www.cs.nott.ac.uk/~wss/repos/IOSpec/ *

Some new features include:

   * New specifications of STM;
   * Composable specifications;
   * Several new schedulers;
   * Lots of new examples, including a QuickChecked distributed Sudoku  
   * Complete rewrite of most of the pure virtual machine.

Homepage:   http://www.cs.nott.ac.uk/~wss/repos/IOSpec/
Haddock:    http://www.cs.nott.ac.uk/~wss/repos/IOSpec/dist/doc/html/IOSpec/
Source:     http://www.cs.nott.ac.uk/~wss/repos/IOSpec/dist/IOSpec-0.2.tar.gz
darcs:      darcs get http://www.cs.nott.ac.uk/~wss/repos/IOSpec/

Thanks to David Waern for his work on Haddock 2.0, without which I  
probably never would have released this version.

Feedback, comments, and suggestions are very welcome!


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.

More information about the Haskell mailing list