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
solver;
* 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!
Wouter
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.
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
