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.