The most recent changes are at the top of this file. 2008 03 30 Added functions ssequence, ssequence_, withThenClose, createSessionThenClose, forkThenClose 2008 03 29 Added scloseCh. Added additional type class constraints so that creating, using and closing a channel doesn't alter the TyMaps. Fixed a couple of other bugs. Pushed prog' into all Pids as well. 2008 03 25 Multi-receive is in and works and is pretty useful. 2008 03 24 Bug fixes. The public channel stuff is much more robust and you can't now promote sends or receives early, which has forced me to fix other bugs too. All good. 2008 03 23 Pid communication and the establishment of sessions based on known Pids now works. This is basically public channels in and working. 2008 02 28 Interleaving appears. Type sigs get bigger. The night gets darker. But it all works. One example so far using interleaving. Need to deal properly with public channels and need to write multi-recv. 2008 02 23 Added better examples to the Tests.hs module, including the standard and much loved "calculator". Altered 'run' and '~||~' so that they automatically add the necessary 'sjump's. Corrected some documentation mistakes. Also corrected the fixity of ~>> and ~>>=. 2008 02 20 Completed rewrite. New version released to Hackage. Works correctly in GHC 6.8.2. Now permits arbitrarily complex session types with mixed branching and looping.