Implementation for "Composing contracts" talk available

I've posted the Haskell implementation for my November talk on 
"Composing Contracts" at:

    http://contracts....

It's a self-contained literate Haskell program which can easily be run 
in a recent version of GHCI.

There's also a web interface to it which allows some of the examples to 
be run:

    http://contracts....

This interface is running under the Haskell application server HAppS, 
from happs.org.  The web interface only provides a few examples, and is 
restricted in how many timesteps it allows.  If you want to experiment 
with different or larger examples, you can download the .lhs file and 
run it locally.

Feedback and questions are welcome, although it may be more appropriate 
to mail me privately than replying to the Meetup list.

Anton